54
52
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
55
53
# Write inline JavaScript which gives the client code access to certain
56
54
# server-side variables.
58
username = repr(req.user.login)
56
username = repr(req.username)
61
59
req.write(""" <script type="text/javascript">
66
""" % (repr(conf.root_dir), repr(conf.public_host), username))
67
iconurl = get_icon_url(req.app, small=True)
63
""" % (repr(conf.root_dir), username))
64
iconurl = get_icon_url(req.app)
69
66
req.write(""" <link rel="shortcut icon" href="%s" />
70
67
""" % cgi.escape(iconurl))
76
73
req.write(' <link rel="stylesheet" type="text/css" href="%s" />\n'
77
74
% cgi.escape(util.make_path(style)))
78
75
for script in req.scripts:
79
req.write(' <script type="text/javascript" src="%s"></script>\n'
76
req.write(' <script type="text/javascript" src="%s" />\n'
80
77
% 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')
86
79
req.write("</head>\n\n")
88
81
# Open the body element and write a bunch of stuff there (the header)
89
82
req.write("""<body>
90
<div id="ivleheader"></div>
91
<div id="ivleheader_text">
93
85
<h2>Informatics Virtual Learning Environment</h2>
97
req.write(' <p class="userhello">Running in public mode.</p>')
99
# Get the user's nickname from the request session
100
nickname = req.user.nick
101
req.write(' <p class="userhello"><span id="usernick">%s</span> '
102
'(<span class="username">%s</span>) |\n'
103
' <a href="%s">Settings</a> |\n'
89
req.write(' <p class="userhello">Welcome, <span '
90
'class="username">%s</span> |\n'
104
91
' <a href="%s">Help</a> |\n'
105
' <a href="%s">Sign out</a>\n'
92
' <a href="%s">Logout</a>\n'
107
(cgi.escape(nickname), cgi.escape(req.user.login),
108
cgi.escape(util.make_path('settings')),
94
(cgi.escape(req.username),
109
95
cgi.escape(get_help_url(req)),
110
96
cgi.escape(util.make_path('logout'))))
112
98
req.write(' <p class="userhello">Not logged in.</p>')
114
# ivleheader_tabs is a separate div, so it can be positioned absolutely
115
req.write('</div>\n<div id="ivleheader_tabs">\n')
117
100
# If the "debuginfo" app is installed, display a warning to the admin to
118
101
# make sure it is removed in production.
119
102
if "debuginfo" in conf.apps.app_url:
120
req.write(" <p><small>Warning: debuginfo is enabled. Set "
121
"enable_debuginfo = False in lib/conf/apps.py, when placing IVLE "
122
"into production.</small></p>\n")
103
req.write(" <p><small>Warning: debuginfo is enabled. Remove this "
104
"app from conf.apps.app_url when placed into production."
124
# If req has a "no_agreement" attribute, then it is because the user has
125
# not signed the agreement; therefore we are displaying the TOS page.
126
# Do not show apps (see dispatch.login).
127
if req.user and not req.user.state == 'no_agreement':
128
108
# Only print app tabs if logged in
129
109
print_apps_list(req, req.app)
130
110
req.write('</div>\n<div id="ivlebody">\n')
139
119
def get_help_url(req):
140
120
"""Gets the help URL most relevant to this page, to place as the
141
121
"help" link at the top of the page."""
142
reqapp = req.app if hasattr(req, 'app') else None
122
if req.app == 'help':
144
123
# We're already in help. Link to the exact current page
145
124
# instead of the generic help page.
147
if reqapp is not None and reqapp in conf.apps.app_url and \
148
conf.apps.app_url[reqapp].hashelp:
149
help_path = os.path.join('help', reqapp)
126
if conf.apps.app_url[req.app].hashelp:
127
help_path = os.path.join('help', req.app)
151
129
help_path = 'help'
152
130
return util.make_path(help_path)
155
133
"""Given an app's url name, gets the URL of the icon image for this app,
156
134
relative to the site root. Returns None if the app has no icon."""
157
135
if appurl is None: return None
159
app = conf.apps.app_url[appurl]
161
# Due to navigating to a bad app
136
app = conf.apps.app_url[appurl]
164
138
icon_dir = conf.apps.app_icon_dir_small
185
159
file.write(' <li%s>' % li_attr)
187
161
file.write('<img src="%s" alt="" /> '
188
% urllib.quote(get_icon_url(urlname)))
189
file.write('<a href="%s" title="%s">%s</a></li>\n'
190
% (urllib.quote(util.make_path(urlname)), cgi.escape(app.desc),
191
cgi.escape(app.name)))
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)))
193
166
file.write(' </ul>\n')