From 321ed11ffe2dab9811e1fdcbe84b602e1eed7e9d Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Wed, 15 Dec 2021 22:33:01 +1000
Subject: [PATCH] webserver: Fix error caused by new --config option.

- Webserver couldn't unpickle the summary because the eris module
  hadn't imported tools.
---
 eris/eris/__main__.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/eris/eris/__main__.py b/eris/eris/__main__.py
index 1b0d11a..1740345 100755
--- a/eris/eris/__main__.py
+++ b/eris/eris/__main__.py
@@ -1189,3 +1189,6 @@ def entry_point():
 
 if __name__ == "__main__":
     entry_point()
+
+
+import eris.tools as tools  # Webserver needs this to unpickle the summary.