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>")
114
# Only print app tabs if logged in
115
print_apps_list(req, req.app)
116
req.write('</div>\n<div id="ivlebody">\n')
118
71
def write_html_foot(req):
119
72
"""Writes the HTML footer, given a request object.
121
74
req: An IVLE request object. Written to.
123
req.write("</div>\n</body>\n</html>\n")
125
def get_help_url(req):
126
"""Gets the help URL most relevant to this page, to place as the
127
"help" link at the top of the page."""
128
if req.app == 'help':
129
# We're already in help. Link to the exact current page
130
# instead of the generic help page.
132
if conf.apps.app_url[req.app].hashelp:
133
help_path = os.path.join('help', req.app)
136
return util.make_path(help_path)
138
def get_icon_url(appurl, small=False):
139
"""Given an app's url name, gets the URL of the icon image for this app,
140
relative to the site root. Returns None if the app has no icon."""
141
if appurl is None: return None
142
app = conf.apps.app_url[appurl]
144
icon_dir = conf.apps.app_icon_dir_small
146
icon_dir = conf.apps.app_icon_dir
147
if app.icon is None: return None
148
return util.make_path(os.path.join(icon_dir, app.icon))
150
def print_apps_list(file, thisapp):
76
req.write("</body>\n</html>\n")
78
def print_apps_list(file):
151
79
"""Prints all app tabs, as a UL. Prints a list item for each app that has
154
82
file: Object with a "write" method - ie. the request object.
157
file.write(' <ul id="apptabs">\n')
85
file.write('<ul class="apptabs">\n')
159
87
for urlname in conf.apps.apps_in_tabs:
160
88
app = conf.apps.app_url[urlname]
161
if urlname == thisapp:
162
li_attr = ' class="thisapp"'
165
file.write(' <li%s>' % li_attr)
167
file.write('<img src="%s" alt="" /> '
168
% cgi.escape(get_icon_url(urlname)))
169
file.write('<a href="%s">%s</a></li>\n'
170
% (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(app.dir), app.name))
172
file.write(' </ul>\n')