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>Hello, %s. <a href="%s">Logout</a></p>\n""" %
74
(req.username, util.make_path('logout')))
98
req.write(' <p class="userhello">Not logged in.</p>')
76
req.write("<p>Not logged in.</p>")
100
78
# If the "debuginfo" app is installed, display a warning to the admin to
101
79
# make sure it is removed in production.
102
80
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."
106
# ivleheader_tabs is a separate div, so it can be positioned absolutely
107
req.write('</div>\n<div id="ivleheader_tabs">\n')
81
req.write("<p>Warning: debuginfo is enabled. Remove this app from "
82
"conf.apps.app_url when placed into production.</p>\n")
110
# Only print app tabs if logged in
111
print_apps_list(req, req.app)
112
req.write('</div>\n<div id="ivlebody">\n')
114
86
def write_html_foot(req):
115
87
"""Writes the HTML footer, given a request object.
117
89
req: An IVLE request object. Written to.
119
req.write("</div>\n</body>\n</html>\n")
121
def get_help_url(req):
122
"""Gets the help URL most relevant to this page, to place as the
123
"help" link at the top of the page."""
124
if req.app == 'help':
125
# We're already in help. Link to the exact current page
126
# instead of the generic help page.
128
if conf.apps.app_url[req.app].hashelp:
129
help_path = os.path.join('help', req.app)
132
return util.make_path(help_path)
134
def get_icon_url(appurl, small=False):
135
"""Given an app's url name, gets the URL of the icon image for this app,
136
relative to the site root. Returns None if the app has no icon."""
137
if appurl is None: return None
138
app = conf.apps.app_url[appurl]
140
icon_dir = conf.apps.app_icon_dir_small
142
icon_dir = conf.apps.app_icon_dir
143
if app.icon is None: return None
144
return util.make_path(os.path.join(icon_dir, app.icon))
146
def print_apps_list(file, thisapp):
91
req.write("</body>\n</html>\n")
93
def print_apps_list(file):
147
94
"""Prints all app tabs, as a UL. Prints a list item for each app that has
150
97
file: Object with a "write" method - ie. the request object.
153
file.write(' <ul id="apptabs">\n')
100
file.write('<ul class="apptabs">\n')
155
102
for urlname in conf.apps.apps_in_tabs:
156
103
app = conf.apps.app_url[urlname]
157
if urlname == thisapp:
158
li_attr = ' class="thisapp"'
161
file.write(' <li%s>' % li_attr)
163
file.write('<img src="%s" alt="" /> '
164
% cgi.escape(get_icon_url(urlname)))
165
file.write('<a href="%s">%s</a></li>\n'
166
% (cgi.escape(util.make_path(urlname)), cgi.escape(app.name)))
104
file.write(' <li><a href="%s">%s</a></li>\n'
105
% (util.make_path(urlname), app.name))
168
file.write(' </ul>\n')
107
file.write('</ul>\n')
added
removed
www/dispatch/html.py
