39
36
# Write the XHTML opening and head element
40
# Note the inline JavaScript, which provides the client with constants
41
# derived from the server configuration.
42
37
if req.title != None:
43
titlepart = req.title + ' - '
38
titlepart = ' - ' + req.title
46
41
req.write("""<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
47
42
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
48
43
<html xmlns="http://www.w3.org/1999/xhtml">
51
46
<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">
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')))
47
<link rel="stylesheet" type="text/css" href="%s" />
48
""" % (titlepart, req.content_type, util.make_path('media/common/ivle.css')))
71
50
# Write any app-specific style and script links
72
51
for style in req.styles:
73
52
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
74
% cgi.escape(util.make_path(style)))
53
% util.make_path(style))
75
54
for script in req.scripts:
76
55
req.write(' <script type="text/javascript" src="%s" />\n'
77
% cgi.escape(util.make_path(script)))
56
% util.make_path(script))
79
58
req.write("</head>\n\n")
81
60
# Open the body element and write a bunch of stuff there (the header)
82
61
req.write("""<body>
85
<h2>Informatics Virtual Learning Environment</h2>
62
<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'))))
66
req.write("""<p>Hello, %s. <a href="%s">Logout</a></p>\n""" %
67
(req.username, util.make_path('logout')))
98
req.write(' <p class="userhello">Not logged in.</p>')
69
req.write("<p>Not logged in.</p>")
100
71
# If the "debuginfo" app is installed, display a warning to the admin to
101
72
# make sure it is removed in production.
102
73
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."
74
req.write("<p>Warning: debuginfo is enabled. Remove this app from "
75
"conf.apps.app_url when placed into production.</p>")
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
79
def write_html_foot(req):
113
80
"""Writes the HTML footer, given a request object.
115
82
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):
84
req.write("</body>\n</html>\n")
86
def print_apps_list(file):
145
87
"""Prints all app tabs, as a UL. Prints a list item for each app that has
148
90
file: Object with a "write" method - ie. the request object.
151
file.write(' <ul id="apptabs">\n')
93
file.write('<ul class="apptabs">\n')
153
95
for urlname in conf.apps.apps_in_tabs:
154
96
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)))
97
file.write(' <li><a href="%s">%s</a></li>\n'
98
% (util.make_path(urlname), app.name))
166
file.write(' </ul>\n')
100
file.write('</ul>\n')