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
<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')))
71
# Write any app-specific style and script links
72
for style in req.styles:
73
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
74
% cgi.escape(util.make_path(style)))
75
for script in req.scripts:
76
req.write(' <script type="text/javascript" src="%s"></script>\n'
77
% cgi.escape(util.make_path(script)))
79
req.write("</head>\n\n")
46
<meta http-equiv="Content-Type"
47
content="%s; charset=utf-8" />
50
""" % (titlepart, req.content_type))
81
52
# Open the body element and write a bunch of stuff there (the header)
82
53
req.write("""<body>
83
<div id="ivleheader"></div>
84
<div id="ivleheader_text">
86
<h2>Informatics Virtual Learning Environment</h2>
54
<h1>IVLE - Informatics Virtual Learning Environment</h1>
90
# Get the user's nickname from the request session
91
nickname = req.get_session()['nick']
92
req.write(' <p class="userhello">%s (<span '
93
'class="username">%s</span>) |\n'
94
' <a href="%s">Help</a> |\n'
95
' <a href="%s">Logout</a>\n'
97
(cgi.escape(nickname), cgi.escape(req.username),
98
cgi.escape(get_help_url(req)),
99
cgi.escape(util.make_path('logout'))))
58
req.write("""<p>Hello, %s. <a href="%s">Logout</a></p>\n""" %
59
(req.username, util.make_path('logout')))
101
req.write(' <p class="userhello">Not logged in.</p>')
103
# ivleheader_tabs is a separate div, so it can be positioned absolutely
104
req.write('</div>\n<div id="ivleheader_tabs">\n')
61
req.write("<p>Not logged in.</p>")
106
63
# If the "debuginfo" app is installed, display a warning to the admin to
107
64
# make sure it is removed in production.
108
65
if "debuginfo" in conf.apps.app_url:
109
req.write(" <p><small>Warning: debuginfo is enabled. Remove this "
110
"app from conf.apps.app_url when placed into production."
66
req.write("<p>Warning: debuginfo is enabled. Remove this app from "
67
"conf.apps.app_url when placed into production.</p>")
113
# If req has a "no_agreement" attribute, then it is because the user has
114
# not signed the agreement; therefore we are displaying the TOS page.
115
# Do not show apps (see dispatch.login).
116
if req.username and not hasattr(req, 'no_agreement'):
117
# Only print app tabs if logged in
118
print_apps_list(req, req.app)
119
req.write('</div>\n<div id="ivlebody">\n')
121
71
def write_html_foot(req):
122
72
"""Writes the HTML footer, given a request object.
124
74
req: An IVLE request object. Written to.
126
req.write("</div>\n</body>\n</html>\n")
128
def get_help_url(req):
129
"""Gets the help URL most relevant to this page, to place as the
130
"help" link at the top of the page."""
131
reqapp = req.app if hasattr(req, 'app') else None
133
# We're already in help. Link to the exact current page
134
# instead of the generic help page.
136
if reqapp is not None and conf.apps.app_url[reqapp].hashelp:
137
help_path = os.path.join('help', reqapp)
140
return util.make_path(help_path)
142
def get_icon_url(appurl, small=False):
143
"""Given an app's url name, gets the URL of the icon image for this app,
144
relative to the site root. Returns None if the app has no icon."""
145
if appurl is None: return None
146
app = conf.apps.app_url[appurl]
148
icon_dir = conf.apps.app_icon_dir_small
150
icon_dir = conf.apps.app_icon_dir
151
if app.icon is None: return None
152
return util.make_path(os.path.join(icon_dir, app.icon))
154
def print_apps_list(file, thisapp):
76
req.write("</body>\n</html>\n")
78
def print_apps_list(file):
155
79
"""Prints all app tabs, as a UL. Prints a list item for each app that has
158
82
file: Object with a "write" method - ie. the request object.
161
file.write(' <ul id="apptabs">\n')
85
file.write('<ul class="apptabs">\n')
163
87
for urlname in conf.apps.apps_in_tabs:
164
88
app = conf.apps.app_url[urlname]
165
if urlname == thisapp:
166
li_attr = ' class="thisapp"'
169
file.write(' <li%s>' % li_attr)
171
file.write('<img src="%s" alt="" /> '
172
% cgi.escape(get_icon_url(urlname)))
173
file.write('<a href="%s">%s</a></li>\n'
174
% (cgi.escape(util.make_path(urlname)), cgi.escape(app.name)))
89
file.write(' <li><a href="%s">%s</a></li>\n'
90
% (util.make_path(urlname), app.name))
176
file.write(' </ul>\n')