runtime/NevowServer.py
changeset 3440 3770ded5db5c
parent 2701 f4dac054cfa3
child 3703 4b75f1506ea1
equal deleted inserted replaced
3439:2739fbd82569 3440:3770ded5db5c
    47 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
    47 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
    48 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
    48 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
    49 '''
    49 '''
    50 
    50 
    51 WorkingDir = None
    51 WorkingDir = None
    52 _PySrv = None
       
    53 
    52 
    54 
    53 
    55 class PLCHMI(athena.LiveElement):
    54 class PLCHMI(athena.LiveElement):
    56 
    55 
    57     initialised = False
    56     initialised = False
   415 
   414 
   416 def website_statuslistener_factory(site):
   415 def website_statuslistener_factory(site):
   417     return statuslistener(site).listen
   416     return statuslistener(site).listen
   418 
   417 
   419 
   418 
   420 def SetServer(pysrv):
       
   421     global _PySrv
       
   422     _PySrv = pysrv