52
53
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
53
54
# Write inline JavaScript which gives the client code access to certain
54
55
# server-side variables.
56
username = repr(req.username)
57
username = repr(req.user.login)
59
60
req.write(""" <script type="text/javascript">
63
""" % (repr(conf.root_dir), username))
64
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)
66
68
req.write(""" <link rel="shortcut icon" href="%s" />
67
69
""" % cgi.escape(iconurl))
73
75
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
74
76
% cgi.escape(util.make_path(style)))
75
77
for script in req.scripts:
76
req.write(' <script type="text/javascript" src="%s" />\n'
78
req.write(' <script type="text/javascript" src="%s"></script>\n'
77
79
% cgi.escape(util.make_path(script)))
79
81
req.write("</head>\n\n")
81
83
# Open the body element and write a bunch of stuff there (the header)
82
84
req.write("""<body>
85
<div id="ivleheader"></div>
86
<div id="ivleheader_text">
85
88
<h2>Informatics Virtual Learning Environment</h2>
89
req.write(' <p class="userhello">Welcome, <span '
90
'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'
91
97
' <a href="%s">Help</a> |\n'
92
' <a href="%s">Logout</a>\n'
98
' <a href="%s">Sign out</a>\n'
94
(cgi.escape(req.username),
100
(cgi.escape(nickname), cgi.escape(req.user.login),
101
cgi.escape(util.make_path('settings')),
95
102
cgi.escape(get_help_url(req)),
96
103
cgi.escape(util.make_path('logout'))))
98
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')
100
110
# If the "debuginfo" app is installed, display a warning to the admin to
101
111
# make sure it is removed in production.
102
112
if "debuginfo" in conf.apps.app_url:
103
req.write(" <p><small>Warning: debuginfo is enabled. Remove this "
104
"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':
108
121
# Only print app tabs if logged in
109
122
print_apps_list(req, req.app)
110
123
req.write('</div>\n<div id="ivlebody">\n')
119
132
def get_help_url(req):
120
133
"""Gets the help URL most relevant to this page, to place as the
121
134
"help" link at the top of the page."""
122
if req.app == 'help':
135
reqapp = req.app if hasattr(req, 'app') else None
123
137
# We're already in help. Link to the exact current page
124
138
# instead of the generic help page.
126
if conf.apps.app_url[req.app].hashelp:
127
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)
129
143
help_path = 'help'
130
144
return util.make_path(help_path)
133
147
"""Given an app's url name, gets the URL of the icon image for this app,
134
148
relative to the site root. Returns None if the app has no icon."""
135
149
if appurl is None: return None
136
app = conf.apps.app_url[appurl]
151
app = conf.apps.app_url[appurl]
153
# Due to navigating to a bad app
138
156
icon_dir = conf.apps.app_icon_dir_small
159
177
file.write(' <li%s>' % li_attr)
161
179
file.write('<img src="%s" alt="" /> '
162
% cgi.escape(get_icon_url(urlname)))
163
file.write('<a href="%s">%s</a></li>\n'
164
% (cgi.escape(util.make_path(urlname)), cgi.escape(app.name)))
180
% urllib.quote(get_icon_url(urlname)))
181
file.write('<a href="%s" title="%s">%s</a></li>\n'
182
% (urllib.quote(util.make_path(urlname)), cgi.escape(app.desc),
183
cgi.escape(app.name)))
166
185
file.write(' </ul>\n')