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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
# IVLE
# Copyright (C) 2007-2008 The University of Melbourne
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA

# App: server
# Author: Tom Conway, Matt Giuca
# Date: 13/12/2007

# Serves content to the user (acting as a web server for students files).
# For most file types we just serve the static file, but
# for python files, we evaluate the python script inside
# our safe execution environment.

from common import (util, studpath, interpret)
import conf
import conf.app.server

import os
import mimetypes

def handle(req):
    """Handler for the Server application which serves pages."""
    req.write_html_head_foot = False

    # Get the username of the student whose work we are browsing, and the path
    # on the local machine where the file is stored.
    (user, path) = studpath.url_to_local(req.path)

    if user is None:
        # TODO: Nicer 404 message?
        req.throw_error(req.HTTP_NOT_FOUND)

    serve_file(req, user, path)

def serve_file(req, owner, filename):
    """Serves a file, using one of three possibilities: interpreting the file,
    serving it directly, or denying it and returning a 403 Forbidden error.
    No return value. Writes to req (possibly throwing a server error exception
    using req.throw_error).
    
    req: An IVLE request object.
    owner: Username of the user who owns the file being served.
    filename: Filename in the local file system.
    """

    # First get the mime type of this file
    # (Note that importing common.util has already initialised mime types)
    (type, _) = mimetypes.guess_type(filename)
    if type is None:
        type = conf.mimetypes.default_mimetype

    # If this type is to be interpreted
    if os.path.isdir(filename):
        # 403 Forbidden error for visiting a directory
        # (Not giving a directory listing, since this can be seen by
        # the world at large. Directory contents are private).
        req.throw_error(req.HTTP_FORBIDDEN)
    elif type in conf.app.server.interpreters:
        interp_name = conf.app.server.interpreters[type]
        try:
            # Get the interpreter function object
            interp_object = interpret.interpreter_objects[interp_name]
        except KeyError:
            # TODO: Nicer 500 message (this is due to bad configuration in
            # conf/app/server.py)
            req.throw_error(req.HTTP_INTERNAL_SERVER_ERROR)
        interpret.interpret_file(req, owner, filename, interp_object)

    else:
        # Otherwise, use the blacklist/whitelist to see if this file should be
        # served or disallowed
        if conf.app.server.blacklist_served_filetypes:
            toserve = type not in conf.app.server.served_filetypes_blacklist
        else:
            toserve = type in conf.app.server.served_filetypes_whitelist

        # toserve or not toserve
        if not toserve:
            # TODO: Nicer 403 message
            req.throw_error(req.HTTP_FORBIDDEN)
        else:
            serve_file_direct(req, filename, type)

def serve_file_direct(req, filename, type):
    """Serves a file by directly writing it out to the response.

    req: An IVLE request object.
    filename: Filename in the local file system.
    type: String. Mime type to serve the file with.
    """
    if not os.access(filename, os.R_OK):
        req.throw_error(req.HTTP_NOT_FOUND)
    req.content_type = type
    req.sendfile(filename)