webserver: Fix error caused by new --config option.

- Webserver couldn't unpickle the summary because the eris module
  hadn't imported tools.
This commit is contained in:
Andrew Hamilton 2021-12-15 22:33:01 +10:00
parent 55a8ca7849
commit 321ed11ffe

View file

@ -1189,3 +1189,6 @@ def entry_point():
if __name__ == "__main__":
entry_point()
import eris.tools as tools # Webserver needs this to unpickle the summary.