runtime/NevowServer.py
changeset 1682 496029f768d9
parent 1680 6db967480b7d
child 1736 7e61baa047f0
equal deleted inserted replaced
1681:21f40ed5238f 1682:496029f768d9
   122     MainPage = MainPage()
   122     MainPage = MainPage()
   123     PLCHMI = PLCHMI
   123     PLCHMI = PLCHMI
   124 
   124 
   125     def __init__(self, plcState=False, *a, **kw):
   125     def __init__(self, plcState=False, *a, **kw):
   126         super(WebInterface, self).__init__(*a, **kw)
   126         super(WebInterface, self).__init__(*a, **kw)
   127         self.jsModules.mapping[u'WebInterface'] = paths.AbsNeighbourFile(__file__), 'webinterface.js')
   127         self.jsModules.mapping[u'WebInterface'] = paths.AbsNeighbourFile(__file__, 'webinterface.js')
   128         self.plcState = plcState
   128         self.plcState = plcState
   129         self.MainPage.setPLCState(plcState)
   129         self.MainPage.setPLCState(plcState)
   130 
   130 
   131     def getHMI(self):
   131     def getHMI(self):
   132         return self.MainPage.getHMI()
   132         return self.MainPage.getHMI()