← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/dispatch/html.py

  • Committer: stevenbird
  • Date: 2008-02-19 21:17:21 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:512
Renaming of problems to exercises (initial commit).
Fix up module naming (exercises sometimes called tutorials).

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/dispatch/html.py
23
23
# content (the common parts of the HTML pages shared across the entire site).
24
24
# Does not include the login page. See login.py.
25
25
 
 
26
import cgi
26
27
import os.path
27
28
 
28
29
import conf
39
40
    # Note the inline JavaScript, which provides the client with constants
40
41
    # derived from the server configuration.
41
42
    if req.title != None:
42
 
        titlepart = ' - ' + req.title
 
43
        titlepart = req.title + ' - '
43
44
    else:
44
45
        titlepart = ''
45
46
    req.write("""<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
46
47
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
47
48
<html xmlns="http://www.w3.org/1999/xhtml">
48
49
<head>
49
 
  <title>IVLE%s</title>
 
50
  <title>%sIVLE</title>
50
51
  <meta http-equiv="Content-Type" content="%s; charset=utf-8" />
51
 
  <script type="text/javascript">
52
 
    root_dir = "%s";
 
52
""" % (cgi.escape(titlepart), cgi.escape(req.content_type)))
 
53
    # Write inline JavaScript which gives the client code access to certain
 
54
    # server-side variables.
 
55
    if req.user:
 
56
        username = repr(req.user.login)
 
57
    else:
 
58
        username = "null"
 
59
    req.write("""  <script type="text/javascript">
 
60
    root_dir = %s;
 
61
    username = %s;
53
62
  </script>
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')))
 
63
""" % (repr(conf.root_dir), username))
 
64
    iconurl = get_icon_url(req.app)
 
65
    if iconurl:
 
66
        req.write("""  <link rel="shortcut icon" href="%s" />
 
67
""" % cgi.escape(iconurl))
 
68
    req.write("""  <link rel="stylesheet" type="text/css" href="%s" />
 
69
""" % cgi.escape(util.make_path('media/common/ivle.css')))
58
70
 
59
71
    # Write any app-specific style and script links
60
72
    for style in req.styles:
61
73
        req.write('  <link rel="stylesheet" type="text/css" href="%s" />\n'
62
 
            % util.make_path(style))
 
74
            % cgi.escape(util.make_path(style)))
63
75
    for script in req.scripts:
64
 
        req.write('  <script type="text/javascript" src="%s" />\n'
65
 
            % util.make_path(script))
 
76
        req.write('  <script type="text/javascript" src="%s"></script>\n'
 
77
            % cgi.escape(util.make_path(script)))
66
78
 
67
79
    req.write("</head>\n\n")
68
80
 
69
81
    # Open the body element and write a bunch of stuff there (the header)
70
82
    req.write("""<body>
71
 
<div id="ivleheader">
 
83
<div id="ivleheader"></div>
 
84
<div id="ivleheader_text">
72
85
  <h1>IVLE</h1>
73
86
  <h2>Informatics Virtual Learning Environment</h2>
74
87
""")
75
88
 
76
 
    if req.username:
77
 
        req.write('  <p class="userhello">Welcome, <span '
78
 
            'class="username">%s</span> |\n'
 
89
    if req.user:
 
90
        # Get the user's nickname from the request session
 
91
        nickname = req.user.nick
 
92
        req.write('  <p class="userhello">%s (<span '
 
93
            'class="username">%s</span>) |\n'
79
94
            '    <a href="%s">Help</a> |\n'
80
95
            '    <a href="%s">Logout</a>\n'
81
96
            '  </p>\n' %
82
 
            (req.username, get_help_url(req), util.make_path('logout')))
 
97
            (cgi.escape(nickname), cgi.escape(req.user.login),
 
98
             cgi.escape(get_help_url(req)),
 
99
             cgi.escape(util.make_path('logout'))))
83
100
    else:
84
101
        req.write('  <p class="userhello">Not logged in.</p>')
85
102
 
 
103
    # ivleheader_tabs is a separate div, so it can be positioned absolutely
 
104
    req.write('</div>\n<div id="ivleheader_tabs">\n')
 
105
 
86
106
    # If the "debuginfo" app is installed, display a warning to the admin to
87
107
    # make sure it is removed in production.
88
108
    if "debuginfo" in conf.apps.app_url:
90
110
            "app from conf.apps.app_url when placed into production."
91
111
            "</small></p>\n")
92
112
 
93
 
    if req.username:
 
113
    # If req has a "no_agreement" attribute, then it is because the user has
 
114
    # not signed the agreement; therefore we are displaying the TOS page.
 
115
    # Do not show apps (see dispatch.login).
 
116
    if req.user and not req.user.state == 'no_agreement':
94
117
        # Only print app tabs if logged in
95
118
        print_apps_list(req, req.app)
96
119
    req.write('</div>\n<div id="ivlebody">\n')
105
128
def get_help_url(req):
106
129
    """Gets the help URL most relevant to this page, to place as the
107
130
    "help" link at the top of the page."""
108
 
    if req.app == 'help':
 
131
    reqapp = req.app if hasattr(req, 'app') else None
 
132
    if reqapp == 'help':
109
133
        # We're already in help. Link to the exact current page
110
134
        # instead of the generic help page.
111
135
        return req.uri
112
 
    if conf.apps.app_url[req.app].hashelp:
113
 
        help_path = os.path.join('help', req.app)
 
136
    if reqapp is not None and conf.apps.app_url[reqapp].hashelp:
 
137
        help_path = os.path.join('help', reqapp)
114
138
    else:
115
139
        help_path = 'help'
116
140
    return util.make_path(help_path)
117
141
 
 
142
def get_icon_url(appurl, small=False):
 
143
    """Given an app's url name, gets the URL of the icon image for this app,
 
144
    relative to the site root. Returns None if the app has no icon."""
 
145
    if appurl is None: return None
 
146
    app = conf.apps.app_url[appurl]
 
147
    if small:
 
148
        icon_dir = conf.apps.app_icon_dir_small
 
149
    else:
 
150
        icon_dir = conf.apps.app_icon_dir
 
151
    if app.icon is None: return None
 
152
    return util.make_path(os.path.join(icon_dir, app.icon))
 
153
 
118
154
def print_apps_list(file, thisapp):
119
155
    """Prints all app tabs, as a UL. Prints a list item for each app that has
120
156
    a tab.
122
158
    file: Object with a "write" method - ie. the request object.
123
159
    Reads from: conf
124
160
    """
125
 
    file.write('  <ul class="apptabs">\n')
 
161
    file.write('  <ul id="apptabs">\n')
126
162
 
127
163
    for urlname in conf.apps.apps_in_tabs:
128
164
        app = conf.apps.app_url[urlname]
132
168
            li_attr = ''
133
169
        file.write('    <li%s>' % li_attr)
134
170
        if app.icon:
135
 
            file.write('<img src="%s" alt="" /> ' %
136
 
                util.make_path(os.path.join(conf.apps.app_icon_dir,
137
 
                app.icon)))
 
171
            file.write('<img src="%s" alt="" /> '
 
172
                % cgi.escape(get_icon_url(urlname)))
138
173
        file.write('<a href="%s">%s</a></li>\n'
139
 
            % (util.make_path(urlname), app.name))
 
174
            % (cgi.escape(util.make_path(urlname)), cgi.escape(app.name)))
140
175
 
141
176
    file.write('  </ul>\n')