1
# IVLE - Informatics Virtual Learning Environment
2
# Copyright (C) 2007-2008 The University of Melbourne
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.
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.
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
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
33
# Make a Subversion client object (for published)
34
svnclient = pysvn.Client()
36
def url_to_local(config, urlpath):
37
"""Given a URL path (part of a URL query string, see below), returns a
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.
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
51
Returns (None, None) if the path is empty.
53
>>> stubconfig = {'paths': {'jails': {'mounts': '/jails'}}}
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')
62
We have some protection from various potential attacks. An empty,
63
absolute, or ..-prefixed path yields a special result.
65
>>> url_to_local(stubconfig, '')
67
>>> url_to_local(stubconfig, '/foo')
69
>>> url_to_local(stubconfig, '../bar')
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):
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)
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)
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.
99
urlpath: See urlpath in url_to_local.
101
>>> stubconfig = {'paths': {'jails': {'mounts': '/jails'}}}
103
>>> url_to_jailpaths(stubconfig, "joe/mydir//myfile/.././myfile")
104
('joe', '/jails/joe', '/home/joe/mydir/myfile')
105
>>> url_to_jailpaths(stubconfig, "")
107
>>> url_to_jailpaths(stubconfig, "../foo")
109
>>> url_to_jailpaths(stubconfig, "/foo")
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)
122
jail = os.path.join(config['paths']['jails']['mounts'], user)
123
path = to_home_path(urlpath)
125
return (user, jail, path)
127
def to_home_path(urlpath):
128
"""Given a URL path (eg. joe/foo/bar/baz), returns a path within the home.
130
>>> to_home_path('joe/foo/bar/baz')
131
'/home/joe/foo/bar/baz'
132
>>> to_home_path('joe/foo//bar/baz/../../')
134
>>> to_home_path('joe/foo//bar/baz/../../../../../') is None
138
urlpath = os.path.normpath(urlpath)
139
# If it begins with '..', it's illegal.
140
if urlpath.startswith(".."):
143
return os.path.join('/home', urlpath)
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
149
# Read SVN properties for this path
151
props = svnclient.propget("ivle:published", path, recurse=False)
152
except pysvn.ClientError:
153
# Not under version control? Then it isn't published.
155
return len(props) > 0
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)
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."""
167
mode = os.stat(path).st_mode
168
if mode & stat.S_IROTH:
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.
181
This is for general authorization (assuming not in public mode; this is
182
the standard auth code for fileservice, download and serve).
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):
191
(owner, _) = util.split_path(urlpath)
192
if user.login != owner:
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
201
This is for the "public mode" of the serve app.
203
Same interface as "authorize" - None on success, HTTP_FORBIDDEN exception
206
_, path = url_to_local(req.config, req.path)
208
# Walk up the tree, and find the deepest directory.
209
while not os.path.isdir(path):
210
path = os.path.dirname(path)
212
if not (worldreadable(path) and published(path)):