9
def __init__(self, dir, name, requireauth = True, hashelp = False):
12
self.requireauth = requireauth
13
self.hashelp = hashelp
15
return ("App(dir=" + repr(self.dir) + ", name=" + repr(self.name) +
16
", requireauth=" + repr(self.requireauth) + ", hashelp="
17
+ repr(self.hashelp) + ")")
19
11
# Application definitions
21
app_dummy = App(dir = "dummy",
22
name = "My Dummy App",
26
app_server = App(dir = "server",
31
app_download = App(dir = "download",
36
app_help = App(dir = "help",
41
app_debuginfo = App(dir = "debuginfo",
42
name = "Debug Information",
14
app_dummy.dir = "dummy"
15
app_dummy.name = "My Dummy App"
16
app_dummy.requireauth = True
17
app_dummy.hashelp = True
20
app_server.dir = "server"
21
app_server.name = "Server"
22
app_server.requireauth = False
23
app_server.hashelp = False
27
app_help.name = "Help"
28
app_help.requireauth = True
29
app_help.hashelp = False
46
31
# Mapping URL names to apps
49
34
"dummy" : app_dummy,
50
35
"serve" : app_server,
51
"download" : app_download,
53
"debuginfo" : app_debuginfo,
56
39
# List of apps that go in the tabs at the top