runtime/NevowServer.py
changeset 3440 3770ded5db5c
parent 2701 f4dac054cfa3
child 3703 4b75f1506ea1
--- 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