40
37
# Note the inline JavaScript, which provides the client with constants
41
38
# derived from the server configuration.
42
39
if req.title != None:
43
titlepart = req.title + ' - '
40
titlepart = ' - ' + req.title
46
43
req.write("""<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
47
44
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
48
45
<html xmlns="http://www.w3.org/1999/xhtml">
51
48
<meta http-equiv="Content-Type" content="%s; charset=utf-8" />
52
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
53
# Write inline JavaScript which gives the client code access to certain
54
# server-side variables.
56
username = repr(req.username)
59
req.write(""" <script type="text/javascript">
49
<script type="text/javascript">
63
""" % (repr(conf.root_dir), username))
64
iconurl = get_icon_url(req.app)
66
req.write(""" <link rel="shortcut icon" href="%s" />
67
""" % cgi.escape(iconurl))
68
req.write(""" <link rel="stylesheet" type="text/css" href="%s" />
69
""" % cgi.escape(util.make_path('media/common/ivle.css')))
52
<link rel="stylesheet" type="text/css" href="%s" />
53
""" % (titlepart, req.content_type,
54
repr(conf.root_dir)[1:-1],
55
util.make_path('media/common/ivle.css')))
71
57
# Write any app-specific style and script links
72
58
for style in req.styles:
73
59
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
74
% cgi.escape(util.make_path(style)))
60
% util.make_path(style))
75
61
for script in req.scripts:
76
62
req.write(' <script type="text/javascript" src="%s" />\n'
77
% cgi.escape(util.make_path(script)))
63
% util.make_path(script))
79
65
req.write("</head>\n\n")
81
67
# Open the body element and write a bunch of stuff there (the header)
82
68
req.write("""<body>
85
<h2>Informatics Virtual Learning Environment</h2>
69
<h1>IVLE - Informatics Virtual Learning Environment</h1>
89
req.write(' <p class="userhello">Welcome, <span '
90
'class="username">%s</span> |\n'
91
' <a href="%s">Help</a> |\n'
92
' <a href="%s">Logout</a>\n'
94
(cgi.escape(req.username),
95
cgi.escape(get_help_url(req)),
96
cgi.escape(util.make_path('logout'))))
73
req.write('<p class="userhello">Hello, %s. '
74
'<a href="%s">Logout</a></p>\n' %
75
(req.username, util.make_path('logout')))
98
req.write(' <p class="userhello">Not logged in.</p>')
77
req.write('<p class="userhello">Not logged in.</p>')
100
81
# If the "debuginfo" app is installed, display a warning to the admin to
101
82
# make sure it is removed in production.
102
83
if "debuginfo" in conf.apps.app_url:
103
req.write(" <p><small>Warning: debuginfo is enabled. Remove this "
104
"app from conf.apps.app_url when placed into production."
84
req.write("<p><small>Warning: debuginfo is enabled. Remove this app "
85
"from conf.apps.app_url when placed into production."
108
# Only print app tabs if logged in
109
print_apps_list(req, req.app)
110
req.write('</div>\n<div id="ivlebody">\n')
112
88
def write_html_foot(req):
113
89
"""Writes the HTML footer, given a request object.
115
91
req: An IVLE request object. Written to.
117
req.write("</div>\n</body>\n</html>\n")
119
def get_help_url(req):
120
"""Gets the help URL most relevant to this page, to place as the
121
"help" link at the top of the page."""
122
if req.app == 'help':
123
# We're already in help. Link to the exact current page
124
# instead of the generic help page.
126
if conf.apps.app_url[req.app].hashelp:
127
help_path = os.path.join('help', req.app)
130
return util.make_path(help_path)
132
def get_icon_url(appurl, small=False):
133
"""Given an app's url name, gets the URL of the icon image for this app,
134
relative to the site root. Returns None if the app has no icon."""
135
if appurl is None: return None
136
app = conf.apps.app_url[appurl]
138
icon_dir = conf.apps.app_icon_dir_small
140
icon_dir = conf.apps.app_icon_dir
141
if app.icon is None: return None
142
return util.make_path(os.path.join(icon_dir, app.icon))
144
def print_apps_list(file, thisapp):
93
req.write("</body>\n</html>\n")
95
def print_apps_list(file):
145
96
"""Prints all app tabs, as a UL. Prints a list item for each app that has
148
99
file: Object with a "write" method - ie. the request object.
151
file.write(' <ul id="apptabs">\n')
102
file.write('<ul class="apptabs">\n')
153
104
for urlname in conf.apps.apps_in_tabs:
154
105
app = conf.apps.app_url[urlname]
155
if urlname == thisapp:
156
li_attr = ' class="thisapp"'
159
file.write(' <li%s>' % li_attr)
161
file.write('<img src="%s" alt="" /> '
162
% cgi.escape(get_icon_url(urlname)))
163
file.write('<a href="%s">%s</a></li>\n'
164
% (cgi.escape(util.make_path(urlname)), cgi.escape(app.name)))
106
file.write(' <li><a href="%s">%s</a></li>\n'
107
% (util.make_path(urlname), app.name))
166
file.write(' </ul>\n')
109
file.write('</ul>\n')
added
removed
www/dispatch/html.py
