52
52
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
53
53
# Write inline JavaScript which gives the client code access to certain
54
54
# server-side variables.
56
username = repr(req.username)
56
username = repr(req.user.login)
59
59
req.write(""" <script type="text/javascript">
63
63
""" % (repr(conf.root_dir), username))
64
iconurl = get_icon_url(req.app)
64
iconurl = get_icon_url(req.app, small=True)
66
66
req.write(""" <link rel="shortcut icon" href="%s" />
67
67
""" % cgi.escape(iconurl))
73
73
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
74
74
% cgi.escape(util.make_path(style)))
75
75
for script in req.scripts:
76
req.write(' <script type="text/javascript" src="%s" />\n'
76
req.write(' <script type="text/javascript" src="%s"></script>\n'
77
77
% cgi.escape(util.make_path(script)))
79
79
req.write("</head>\n\n")
86
86
<h2>Informatics Virtual Learning Environment</h2>
90
req.write(' <p class="userhello">Welcome, <span '
91
'class="username">%s</span> |\n'
90
# Get the user's nickname from the request session
91
nickname = req.user.nick
92
req.write(' <p class="userhello"><span id="usernick">%s</span> '
93
'(<span class="username">%s</span>) |\n'
94
' <a href="%s">Settings</a> |\n'
92
95
' <a href="%s">Help</a> |\n'
93
' <a href="%s">Logout</a>\n'
96
' <a href="%s">Sign out</a>\n'
95
(cgi.escape(req.username),
98
(cgi.escape(nickname), cgi.escape(req.user.login),
99
cgi.escape(util.make_path('settings')),
96
100
cgi.escape(get_help_url(req)),
97
101
cgi.escape(util.make_path('logout'))))
99
103
req.write(' <p class="userhello">Not logged in.</p>')
105
# ivleheader_tabs is a separate div, so it can be positioned absolutely
106
req.write('</div>\n<div id="ivleheader_tabs">\n')
101
108
# If the "debuginfo" app is installed, display a warning to the admin to
102
109
# make sure it is removed in production.
103
110
if "debuginfo" in conf.apps.app_url:
104
req.write(" <p><small>Warning: debuginfo is enabled. Remove this "
105
"app from conf.apps.app_url when placed into production."
107
# ivleheader_tabs is a separate div, so it can be positioned absolutely
108
req.write('</div>\n<div id="ivleheader_tabs">\n')
111
req.write(" <p><small>Warning: debuginfo is enabled. Set "
112
"enable_debuginfo = False in lib/conf/apps.py, when placing IVLE "
113
"into production.</small></p>\n")
115
# If req has a "no_agreement" attribute, then it is because the user has
116
# not signed the agreement; therefore we are displaying the TOS page.
117
# Do not show apps (see dispatch.login).
118
if req.user and not req.user.state == 'no_agreement':
111
119
# Only print app tabs if logged in
112
120
print_apps_list(req, req.app)
113
121
req.write('</div>\n<div id="ivlebody">\n')
122
130
def get_help_url(req):
123
131
"""Gets the help URL most relevant to this page, to place as the
124
132
"help" link at the top of the page."""
125
if req.app == 'help':
133
reqapp = req.app if hasattr(req, 'app') else None
126
135
# We're already in help. Link to the exact current page
127
136
# instead of the generic help page.
129
if conf.apps.app_url[req.app].hashelp:
130
help_path = os.path.join('help', req.app)
138
if reqapp is not None and conf.apps.app_url[reqapp].hashelp:
139
help_path = os.path.join('help', reqapp)
132
141
help_path = 'help'
133
142
return util.make_path(help_path)
136
145
"""Given an app's url name, gets the URL of the icon image for this app,
137
146
relative to the site root. Returns None if the app has no icon."""
138
147
if appurl is None: return None
139
app = conf.apps.app_url[appurl]
149
app = conf.apps.app_url[appurl]
151
# Due to navigating to a bad app
141
154
icon_dir = conf.apps.app_icon_dir_small