from time import time, localtime, gmtime, asctime from AdminPage import * class Page(AdminPage): def title(self): return 'Admin' def writeBody(self): curTime = time() self.writeln('''
Version: %s
Local time: %s
Global time: %s
''' % (self._wrapper.version(), asctime(localtime(curTime)), asctime(gmtime(curTime)))) self.startMenu() # @@ 2000-04-21 ce: use URLEncode() here. self.menuItem('Script log contents', '_dumpCSV?filename=%s' % self._wrapper.setting('ScriptLogFilename')) self.menuItem('Error log contents', '_dumpErrors?filename=%s' % self._wrapper.setting('ErrorLogFilename')) self.menuItem('Show config', '_showConfig') self.endMenu() self.writeln(''' ''' % (repr(self._wrapper.version()), repr(localtime(curTime)), repr(gmtime(curTime)))) def startMenu(self): self.writeln('''

 

' '''') def menuItem(self, title, url): self.writeln('' % (url, title)) def endMenu(self): self.writeln('
' 'Menu' '
%s
')