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

« back to all changes in this revision

Viewing changes to ivle/studpath.py

  • Committer: drtomc
  • Date: 2008-02-01 04:13:23 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:369
Add stuff on installing and configuring pound.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# IVLE - Informatics Virtual Learning Environment
2
 
# Copyright (C) 2007-2008 The University of Melbourne
3
 
#
4
 
# This program is free software; you can redistribute it and/or modify
5
 
# it under the terms of the GNU General Public License as published by
6
 
# the Free Software Foundation; either version 2 of the License, or
7
 
# (at your option) any later version.
8
 
#
9
 
# This program is distributed in the hope that it will be useful,
10
 
# but WITHOUT ANY WARRANTY; without even the implied warranty of
11
 
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12
 
# GNU General Public License for more details.
13
 
#
14
 
# You should have received a copy of the GNU General Public License
15
 
# along with this program; if not, write to the Free Software
16
 
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
17
 
 
18
 
# Module: studpath
19
 
# Author: Matt Giuca
20
 
# Date:   14/12/2007
21
 
 
22
 
# Provides functions for translating URLs into physical locations in the
23
 
# student directories in the local file system.
24
 
# Also performs common authorization, disallowing students from visiting paths
25
 
# they dont own.
26
 
 
27
 
import os
28
 
import stat
29
 
import pysvn
30
 
 
31
 
from ivle import util
32
 
 
33
 
# Make a Subversion client object (for published)
34
 
svnclient = pysvn.Client()
35
 
 
36
 
def url_to_local(config, urlpath):
37
 
    """Given a URL path (part of a URL query string, see below), returns a
38
 
    tuple of
39
 
        * the username of the student whose directory is being browsed
40
 
        * the absolute path in the file system where that file will be
41
 
            found within the student directories.
42
 
 
43
 
    urlpath: Part of the URL, but only the part *after* the application. For
44
 
    instance, given the URL "/ivle/browse/joe/mydir/myfile", urlpath will
45
 
    be just "joe/mydir/myfile". The expected result is something like
46
 
    ("joe", "/home/informatics/jails/joe/home/joe/mydir/myfile").
47
 
    Note that the actual location is not guaranteed by this interface (this
48
 
    function serves as a single point of control as to how URLs map onto
49
 
    student directories).
50
 
 
51
 
    Returns (None, None) if the path is empty.
52
 
 
53
 
    >>> stubconfig = {'paths': {'jails': {'mounts': '/jails'}}}
54
 
 
55
 
    >>> url_to_local(stubconfig, 'joe/foo/bar/baz')
56
 
    ('joe', '/jails/joe/home/joe/foo/bar/baz')
57
 
    >>> url_to_local(stubconfig, 'joe')
58
 
    ('joe', '/jails/joe/home/joe')
59
 
    >>> url_to_local(stubconfig, 'joe/')
60
 
    ('joe', '/jails/joe/home/joe')
61
 
 
62
 
    We have some protection from various potential attacks. An empty,
63
 
    absolute, or ..-prefixed path yields a special result.
64
 
 
65
 
    >>> url_to_local(stubconfig, '')
66
 
    (None, None)
67
 
    >>> url_to_local(stubconfig, '/foo')
68
 
    (None, None)
69
 
    >>> url_to_local(stubconfig, '../bar')
70
 
    (None, None)
71
 
    """
72
 
 
73
 
    # First normalise the path
74
 
    urlpath = os.path.normpath(urlpath)
75
 
    # Now if it begins with ".." or separator, then it's illegal
76
 
    if urlpath.startswith("..") or urlpath.startswith(os.sep):
77
 
        return (None, None)
78
 
    # Note: User can be a group name. There is absolutely no difference in our
79
 
    # current directory scheme.
80
 
    (user, subpath) = util.split_path(urlpath)
81
 
    if user is None: return (None, None)
82
 
 
83
 
    # Join the user onto 'home' then the full path specified.
84
 
    # This results in the user's name being repeated twice, which is in
85
 
    # accordance with our directory scheme.
86
 
    # (The first time is the name of the jail, the second is the user's home
87
 
    # directory within the jail).
88
 
    path = os.path.join(config['paths']['jails']['mounts'],
89
 
                        user, 'home', urlpath)
90
 
 
91
 
    return (user, path)
92
 
 
93
 
def url_to_jailpaths(config, urlpath):
94
 
    """Given a URL path (part of a URL query string), returns a tuple of
95
 
        * the username of the student whose directory is being browsed
96
 
        * the absolute path where the jail will be located.
97
 
        * the path of the file relative to the jail.
98
 
 
99
 
    urlpath: See urlpath in url_to_local.
100
 
 
101
 
    >>> stubconfig = {'paths': {'jails': {'mounts': '/jails'}}}
102
 
 
103
 
    >>> url_to_jailpaths(stubconfig, "joe/mydir//myfile/.././myfile")
104
 
    ('joe', '/jails/joe', '/home/joe/mydir/myfile')
105
 
    >>> url_to_jailpaths(stubconfig, "")
106
 
    (None, None, None)
107
 
    >>> url_to_jailpaths(stubconfig, "../foo")
108
 
    (None, None, None)
109
 
    >>> url_to_jailpaths(stubconfig, "/foo")
110
 
    (None, None, None)
111
 
    """
112
 
    # First normalise the path
113
 
    urlpath = os.path.normpath(urlpath)
114
 
    # Now if it begins with "..", or is absolute, then it's illegal
115
 
    if urlpath.startswith("..") or os.path.isabs(urlpath):
116
 
        return (None, None, None)
117
 
    # Note: User can be a group name. There is absolutely no difference in our
118
 
    # current directory scheme.
119
 
    (user, subpath) = util.split_path(urlpath)
120
 
    if user is None: return (None, None, None)
121
 
 
122
 
    jail = os.path.join(config['paths']['jails']['mounts'], user)
123
 
    path = to_home_path(urlpath)
124
 
 
125
 
    return (user, jail, path)
126
 
 
127
 
def to_home_path(urlpath):
128
 
    """Given a URL path (eg. joe/foo/bar/baz), returns a path within the home.
129
 
 
130
 
    >>> to_home_path('joe/foo/bar/baz')
131
 
    '/home/joe/foo/bar/baz'
132
 
    >>> to_home_path('joe/foo//bar/baz/../../')
133
 
    '/home/joe/foo'
134
 
    >>> to_home_path('joe/foo//bar/baz/../../../../../') is None
135
 
    True
136
 
    """
137
 
 
138
 
    urlpath = os.path.normpath(urlpath)
139
 
    # If it begins with '..', it's illegal.
140
 
    if urlpath.startswith(".."):
141
 
        return None
142
 
 
143
 
    return os.path.join('/home', urlpath)
144
 
 
145
 
def svnpublished(path):
146
 
    """Given a path on the LOCAL file system, determines whether the path has
147
 
    its "ivle:published" property active (in subversion). Returns True
148
 
    or False."""
149
 
    # Read SVN properties for this path
150
 
    try:
151
 
        props = svnclient.propget("ivle:published", path, recurse=False)
152
 
    except pysvn.ClientError:
153
 
        # Not under version control? Then it isn't published.
154
 
        return False
155
 
    return len(props) > 0
156
 
 
157
 
def published(path):
158
 
    """Given a path on the LOCAL file system, determines whether the path has a 
159
 
    '.published' file.  Returns True or False."""
160
 
    publish_file_path = os.path.join(path,'.published')
161
 
    return os.access(publish_file_path,os.F_OK)
162
 
 
163
 
def worldreadable(path):
164
 
    """Given a path on the LOCAL file system, determines whether the path is 
165
 
    world readble. Returns True or False."""
166
 
    try:
167
 
        mode = os.stat(path).st_mode
168
 
        if mode & stat.S_IROTH:
169
 
            return True
170
 
        else:
171
 
            return False
172
 
    except OSError, e:
173
 
        return False
174
 
 
175
 
 
176
 
def authorize(req, user):
177
 
    """Given a request, checks whether req.user is allowed to
178
 
    access req.path. Returns None on authorization success. Raises
179
 
    HTTP_FORBIDDEN on failure.
180
 
 
181
 
    This is for general authorization (assuming not in public mode; this is
182
 
    the standard auth code for fileservice, download and serve).
183
 
    """
184
 
    # TODO: Groups
185
 
    # First normalise the path
186
 
    urlpath = os.path.normpath(req.path)
187
 
    # Now if it begins with ".." or separator, then it's illegal
188
 
    if urlpath.startswith("..") or urlpath.startswith(os.sep):
189
 
        return False
190
 
 
191
 
    (owner, _) = util.split_path(urlpath)
192
 
    if user.login != owner:
193
 
        return False
194
 
    return True
195
 
 
196
 
def authorize_public(req):
197
 
    """A different kind of authorization. Rather than making sure the
198
 
    logged-in user owns the file, this checks if the file is in a published
199
 
    directory.
200
 
 
201
 
    This is for the "public mode" of the serve app.
202
 
 
203
 
    Same interface as "authorize" - None on success, HTTP_FORBIDDEN exception
204
 
    raised on failure.
205
 
    """
206
 
    _, path = url_to_local(req.config, req.path)
207
 
 
208
 
    # Walk up the tree, and find the deepest directory.
209
 
    while not os.path.isdir(path):
210
 
        path = os.path.dirname(path)
211
 
 
212
 
    if not (worldreadable(path) and published(path)):
213
 
        return False
214
 
    return True