51
48
<title>%sIVLE</title>
52
49
<meta http-equiv="Content-Type" content="%s; charset=utf-8" />
53
50
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
54
# Write inline JavaScript which gives the client code access to certain
55
# server-side variables.
57
username = '"%s"' % req.user.login
60
if req.write_javascript_settings:
61
req.write(""" <script type="text/javascript">
66
""" % (ivle.conf.root_dir, ivle.conf.public_host, username))
67
iconurl = get_icon_url(req.app, small=True)
69
req.write(""" <link rel="shortcut icon" href="%s" />
70
""" % cgi.escape(iconurl))
71
52
req.write(""" <link rel="stylesheet" type="text/css" href="%s" />
72
53
""" % cgi.escape(util.make_path('media/common/ivle.css')))
74
# Write any app-specific style and script links
75
for style in req.styles:
76
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
77
% cgi.escape(util.make_path(style)))
78
for script in req.scripts:
79
req.write(' <script type="text/javascript" src="%s"></script>\n'
80
% cgi.escape(util.make_path(script)))
81
if len(req.scripts_init) > 0:
82
req.write(' <script type="text/javascript">\n /* Init Functions */\n')
83
for init in req.scripts_init:
84
req.write(' window.addEventListener("load", %s, false);\n'%init)
85
req.write(' </script>\n')
87
55
req.write("</head>\n\n")
89
57
# Open the body element and write a bunch of stuff there (the header)
108
76
(cgi.escape(nickname), cgi.escape(req.user.login),
109
77
cgi.escape(util.make_path(
110
78
os.path.join('~' + req.user.login, '+settings'))),
111
cgi.escape(get_help_url(req)),
112
cgi.escape(util.make_path('logout'))))
79
cgi.escape(util.make_path('+help')),
80
cgi.escape(util.make_path('+logout'))))
114
82
req.write(' <p class="userhello">Not logged in.</p>')
116
# ivleheader_tabs is a separate div, so it can be positioned absolutely
117
84
req.write('</div>\n<div id="ivleheader_tabs">\n')
119
# If the "debuginfo" app is installed, display a warning to the admin to
120
# make sure it is removed in production.
121
if "debuginfo" in ivle.conf.apps.app_url:
122
req.write(" <p><small>Warning: debuginfo is enabled. Set "
123
"enable_debuginfo = False in ivle/conf/apps.py, when placing IVLE "
124
"into production.</small></p>\n")
126
85
req.write('</div>\n<div id="ivlebody">\n')
128
87
def write_html_foot(req):
131
90
req: An IVLE request object. Written to.
133
92
req.write("</div>\n</body>\n</html>\n")
135
def get_help_url(req):
136
"""Gets the help URL most relevant to this page, to place as the
137
"help" link at the top of the page."""
138
reqapp = req.app if hasattr(req, 'app') else None
140
# We're already in help. Link to the exact current page
141
# instead of the generic help page.
143
if reqapp is not None and reqapp in ivle.conf.apps.app_url and \
144
ivle.conf.apps.app_url[reqapp].hashelp:
145
help_path = os.path.join('help', reqapp)
148
return util.make_path(help_path)
150
def get_icon_url(appurl, small=False):
151
"""Given an app's url name, gets the URL of the icon image for this app,
152
relative to the site root. Returns None if the app has no icon."""
153
if appurl is None: return None
155
app = ivle.conf.apps.app_url[appurl]
157
# Due to navigating to a bad app
160
icon_dir = ivle.conf.apps.app_icon_dir_small
162
icon_dir = ivle.conf.apps.app_icon_dir
163
if app.icon is None: return None
164
return util.make_path(os.path.join(icon_dir, app.icon))