49
51
<title>%sIVLE</title>
50
52
<meta http-equiv="Content-Type" content="%s; charset=utf-8" />
51
""" % (titlepart, req.content_type))
53
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
52
54
# Write inline JavaScript which gives the client code access to certain
53
55
# server-side variables.
55
username = repr(req.username)
57
username = repr(req.user.login)
58
60
req.write(""" <script type="text/javascript">
62
""" % (repr(conf.root_dir), username))
63
iconurl = get_icon_url(req.app)
65
""" % (repr(conf.root_dir), repr(conf.public_host), username))
66
iconurl = get_icon_url(req.app, small=True)
65
68
req.write(""" <link rel="shortcut icon" href="%s" />
69
""" % cgi.escape(iconurl))
67
70
req.write(""" <link rel="stylesheet" type="text/css" href="%s" />
68
""" % util.make_path('media/common/ivle.css'))
71
""" % cgi.escape(util.make_path('media/common/ivle.css')))
70
73
# Write any app-specific style and script links
71
74
for style in req.styles:
72
75
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
73
% util.make_path(style))
76
% cgi.escape(util.make_path(style)))
74
77
for script in req.scripts:
75
req.write(' <script type="text/javascript" src="%s" />\n'
76
% util.make_path(script))
78
req.write(' <script type="text/javascript" src="%s"></script>\n'
79
% cgi.escape(util.make_path(script)))
78
81
req.write("</head>\n\n")
80
83
# Open the body element and write a bunch of stuff there (the header)
81
84
req.write("""<body>
85
<div id="ivleheader"></div>
86
<div id="ivleheader_text">
84
88
<h2>Informatics Virtual Learning Environment</h2>
88
req.write(' <p class="userhello">Welcome, <span '
89
'class="username">%s</span> |\n'
92
# Get the user's nickname from the request session
93
nickname = req.user.nick
94
req.write(' <p class="userhello"><span id="usernick">%s</span> '
95
'(<span class="username">%s</span>) |\n'
96
' <a href="%s">Settings</a> |\n'
90
97
' <a href="%s">Help</a> |\n'
91
' <a href="%s">Logout</a>\n'
98
' <a href="%s">Sign out</a>\n'
93
(req.username, get_help_url(req), util.make_path('logout')))
100
(cgi.escape(nickname), cgi.escape(req.user.login),
101
cgi.escape(util.make_path('settings')),
102
cgi.escape(get_help_url(req)),
103
cgi.escape(util.make_path('logout'))))
95
105
req.write(' <p class="userhello">Not logged in.</p>')
107
# ivleheader_tabs is a separate div, so it can be positioned absolutely
108
req.write('</div>\n<div id="ivleheader_tabs">\n')
97
110
# If the "debuginfo" app is installed, display a warning to the admin to
98
111
# make sure it is removed in production.
99
112
if "debuginfo" in conf.apps.app_url:
100
req.write(" <p><small>Warning: debuginfo is enabled. Remove this "
101
"app from conf.apps.app_url when placed into production."
113
req.write(" <p><small>Warning: debuginfo is enabled. Set "
114
"enable_debuginfo = False in lib/conf/apps.py, when placing IVLE "
115
"into production.</small></p>\n")
117
# If req has a "no_agreement" attribute, then it is because the user has
118
# not signed the agreement; therefore we are displaying the TOS page.
119
# Do not show apps (see dispatch.login).
120
if req.user and not req.user.state == 'no_agreement':
105
121
# Only print app tabs if logged in
106
122
print_apps_list(req, req.app)
107
123
req.write('</div>\n<div id="ivlebody">\n')
116
132
def get_help_url(req):
117
133
"""Gets the help URL most relevant to this page, to place as the
118
134
"help" link at the top of the page."""
119
if req.app == 'help':
135
reqapp = req.app if hasattr(req, 'app') else None
120
137
# We're already in help. Link to the exact current page
121
138
# instead of the generic help page.
123
if conf.apps.app_url[req.app].hashelp:
124
help_path = os.path.join('help', req.app)
140
if reqapp is not None and conf.apps.app_url[reqapp].hashelp:
141
help_path = os.path.join('help', reqapp)
126
143
help_path = 'help'
127
144
return util.make_path(help_path)