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