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