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

« back to all changes in this revision

Viewing changes to services/serveservice

  • Committer: Matt Giuca
  • Date: 2009-02-24 02:02:03 UTC
  • mto: This revision was merged to the branch mainline in revision 1119.
  • Revision ID: matt.giuca@gmail.com-20090224020203-aqdcjnsj6y7wl32o
Added a new look to the IVLE header bar. Mmmm... Web 2.0.
Added top-level directory image-source, containing SVG and script files for
    generating the images.
ivle/webapp/coremedia/images: Added 'chrome' directory containing the rendered
    images.
Modified ivle/webapp/base/ivle-headings.html and
    ivle/webapp/coremedia/ivle.css to support the new images.
    Note that the H1 and H2 at the top of the page are no longer displayed
    (and their custom styles have been removed). There is a heading image
    instead.

Show diffs side-by-side

added added

removed removed

Lines of Context:
113
113
           determine_file_type(filename) in ivle.conf.app.server.interpreters:
114
114
            throw_error('is-executable', {'path': filename})
115
115
 
116
 
        if not download and (
117
 
            (ivle.conf.app.server.blacklist_served_filetypes and \
 
116
        if (ivle.conf.app.server.blacklist_served_filetypes and \
118
117
                determine_file_type(filename) in \
119
118
                ivle.conf.app.server.served_filetypes_blacklist) or \
120
119
            (ivle.conf.app.server.served_filetypes_whitelist and \
121
120
                determine_file_type(filename) not in \
122
 
                ivle.conf.app.server.served_filetypes_whitelist)):
 
121
                ivle.conf.app.server.served_filetypes_whitelist):
123
122
            throw_error('forbidden')
124
123
 
125
124
if zipmode:
139
138
 
140
139
    print cjson.encode({'type': zip_mimetype,
141
140
                        'name': zipfilename})
142
 
 
143
 
    stream = zipfile
144
 
    stream.seek(0)
 
141
    print zipfile.getvalue()
145
142
else:
146
 
 
147
143
    print cjson.encode({'type': determine_file_type(filename),
148
144
                        'name': os.path.basename(filename)})
149
 
    stream = open(filename)
150
 
    
151
 
next = stream.read(1024)
152
 
while next:
153
 
    sys.stdout.write(next)
154
 
    next = stream.read(1024)
 
145
    print open(filename).read()