diff -r 2739fbd82569 -r 3770ded5db5c runtime/NevowServer.py
--- a/runtime/NevowServer.py	Tue Feb 15 11:09:39 2022 +0100
+++ b/runtime/NevowServer.py	Wed Mar 02 11:22:55 2022 +0100
@@ -49,7 +49,6 @@
 '''
 
 WorkingDir = None
-_PySrv = None
 
 
 class PLCHMI(athena.LiveElement):
@@ -417,6 +416,3 @@
     return statuslistener(site).listen
 
 
-def SetServer(pysrv):
-    global _PySrv
-    _PySrv = pysrv