39
42
# Note the inline JavaScript, which provides the client with constants
40
43
# derived from the server configuration.
41
44
if req.title != None:
42
titlepart = ' - ' + req.title
45
titlepart = req.title + ' - '
45
48
req.write("""<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
46
49
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
47
50
<html xmlns="http://www.w3.org/1999/xhtml">
50
53
<meta http-equiv="Content-Type" content="%s; charset=utf-8" />
51
<script type="text/javascript">
54
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
55
# Write inline JavaScript which gives the client code access to certain
56
# server-side variables.
58
username = repr(req.user.login)
61
req.write(""" <script type="text/javascript">
54
<link rel="stylesheet" type="text/css" href="%s" />
55
""" % (titlepart, req.content_type,
56
repr(conf.root_dir)[1:-1],
57
util.make_path('media/common/ivle.css')))
66
""" % (repr(conf.root_dir), repr(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
req.write(""" <link rel="stylesheet" type="text/css" href="%s" />
72
""" % cgi.escape(util.make_path('media/common/ivle.css')))
59
74
# Write any app-specific style and script links
60
75
for style in req.styles:
61
76
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
62
% util.make_path(style))
77
% cgi.escape(util.make_path(style)))
63
78
for script in req.scripts:
64
req.write(' <script type="text/javascript" src="%s" />\n'
65
% util.make_path(script))
79
req.write(' <script type="text/javascript" src="%s"></script>\n'
80
% cgi.escape(util.make_path(script)))
81
req.write(' <script type="text/javascript">\n /* Init Functions */\n')
82
for init in req.scripts_init:
83
req.write(' window.addEventListener("load", %s, false);\n'%init)
84
req.write(' </script>\n')
67
86
req.write("</head>\n\n")
69
88
# Open the body element and write a bunch of stuff there (the header)
70
89
req.write("""<body>
90
<div id="ivleheader"></div>
91
<div id="ivleheader_text">
73
93
<h2>Informatics Virtual Learning Environment</h2>
77
req.write(' <p class="userhello">Welcome, <span '
78
'class="username">%s</span> |\n'
97
# Get the user's nickname from the request session
98
nickname = req.user.nick
99
req.write(' <p class="userhello"><span id="usernick">%s</span> '
100
'(<span class="username">%s</span>) |\n'
101
' <a href="%s">Settings</a> |\n'
79
102
' <a href="%s">Help</a> |\n'
80
' <a href="%s">Logout</a>\n'
103
' <a href="%s">Sign out</a>\n'
82
(req.username, get_help_url(req), util.make_path('logout')))
105
(cgi.escape(nickname), cgi.escape(req.user.login),
106
cgi.escape(util.make_path('settings')),
107
cgi.escape(get_help_url(req)),
108
cgi.escape(util.make_path('logout'))))
84
110
req.write(' <p class="userhello">Not logged in.</p>')
112
# ivleheader_tabs is a separate div, so it can be positioned absolutely
113
req.write('</div>\n<div id="ivleheader_tabs">\n')
86
115
# If the "debuginfo" app is installed, display a warning to the admin to
87
116
# make sure it is removed in production.
88
117
if "debuginfo" in conf.apps.app_url:
89
req.write(" <p><small>Warning: debuginfo is enabled. Remove this "
90
"app from conf.apps.app_url when placed into production."
118
req.write(" <p><small>Warning: debuginfo is enabled. Set "
119
"enable_debuginfo = False in lib/conf/apps.py, when placing IVLE "
120
"into production.</small></p>\n")
122
# If req has a "no_agreement" attribute, then it is because the user has
123
# not signed the agreement; therefore we are displaying the TOS page.
124
# Do not show apps (see dispatch.login).
125
if req.user and not req.user.state == 'no_agreement':
94
126
# Only print app tabs if logged in
95
127
print_apps_list(req, req.app)
96
128
req.write('</div>\n<div id="ivlebody">\n')
105
137
def get_help_url(req):
106
138
"""Gets the help URL most relevant to this page, to place as the
107
139
"help" link at the top of the page."""
108
if req.app == 'help':
140
reqapp = req.app if hasattr(req, 'app') else None
109
142
# We're already in help. Link to the exact current page
110
143
# instead of the generic help page.
112
if conf.apps.app_url[req.app].hashelp:
113
help_path = os.path.join('help', req.app)
145
if reqapp is not None and reqapp in conf.apps.app_url and \
146
conf.apps.app_url[reqapp].hashelp:
147
help_path = os.path.join('help', reqapp)
115
149
help_path = 'help'
116
150
return util.make_path(help_path)
152
def get_icon_url(appurl, small=False):
153
"""Given an app's url name, gets the URL of the icon image for this app,
154
relative to the site root. Returns None if the app has no icon."""
155
if appurl is None: return None
157
app = conf.apps.app_url[appurl]
159
# Due to navigating to a bad app
162
icon_dir = conf.apps.app_icon_dir_small
164
icon_dir = conf.apps.app_icon_dir
165
if app.icon is None: return None
166
return util.make_path(os.path.join(icon_dir, app.icon))
118
168
def print_apps_list(file, thisapp):
119
169
"""Prints all app tabs, as a UL. Prints a list item for each app that has