~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/transport/http/response.py

  • Committer: Canonical.com Patch Queue Manager
  • Date: 2007-02-16 06:48:35 UTC
  • mfrom: (2288.1.3 trivial)
  • Revision ID: pqm@pqm.ubuntu.com-20070216064835-76166d68f1750e11
(mbp,r=john,r=aaron) use os._exit from bzr script to quit faster and avoid thread kibble

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2006, 2007 Canonical Ltd
 
1
# Copyright (C) 2006 Canonical Ltd
2
2
#
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
22
22
"""
23
23
 
24
24
 
25
 
import httplib
26
 
 
27
 
from bzrlib import (
28
 
    errors,
29
 
    trace,
30
 
    )
31
 
 
32
 
 
33
 
# A RangeFile expects the following grammar (simplified to outline the
34
 
# assumptions we rely upon).
35
 
 
36
 
# file: whole_file
37
 
#     | single_range
38
 
#     | multiple_range
39
 
 
40
 
# whole_file: [content_length_header] data
41
 
 
42
 
# single_range: content_range_header data
43
 
 
44
 
# multiple_range: boundary_header boundary (content_range_header data boundary)+
 
25
from bisect import bisect
 
26
from cStringIO import StringIO
 
27
import re
 
28
 
 
29
from bzrlib import errors
 
30
from bzrlib.trace import mutter
 
31
 
 
32
 
 
33
class ResponseRange(object):
 
34
    """A range in a RangeFile-object."""
 
35
 
 
36
    __slots__ = ['_ent_start', '_ent_end', '_data_start']
 
37
 
 
38
    def __init__(self, ent_start, ent_end, data_start):
 
39
        self._ent_start = ent_start
 
40
        self._ent_end = ent_end
 
41
        self._data_start = data_start
 
42
 
 
43
    def __cmp__(self, other):
 
44
        """Compare this to other.
 
45
 
 
46
        We need this both for sorting, and so that we can
 
47
        bisect the list of ranges.
 
48
        """
 
49
        if isinstance(other, int):
 
50
            # Later on we bisect for a starting point
 
51
            # so we allow comparing against a single integer
 
52
            return cmp(self._ent_start, other)
 
53
        else:
 
54
            return cmp((self._ent_start, self._ent_end, self._data_start),
 
55
                       (other._ent_start, other._ent_end, other._data_start))
 
56
 
 
57
    def __str__(self):
 
58
        return "%s(%s-%s,%s)" % (self.__class__.__name__,
 
59
                                 self._ent_start, self._ent_end,
 
60
                                 self._data_start)
 
61
 
 
62
    __repr__ = __str__
 
63
 
45
64
 
46
65
class RangeFile(object):
47
66
    """File-like object that allow access to partial available data.
48
67
 
49
 
    All accesses should happen sequentially since the acquisition occurs during
50
 
    an http response reception (as sockets can't be seeked, we simulate the
51
 
    seek by just reading and discarding the data).
52
 
 
53
 
    The access pattern is defined by a set of ranges discovered as reading
54
 
    progress. Only one range is available at a given time, so all accesses
55
 
    should happen with monotonically increasing offsets.
 
68
    Specified by a set of ranges.
56
69
    """
57
70
 
58
 
    # in _checked_read() below, we may have to discard several MB in the worst
59
 
    # case. To avoid buffering that much, we read and discard by chunks
60
 
    # instead. The underlying file is either a socket or a StringIO, so reading
61
 
    # 8k chunks should be fine.
62
 
    _discarded_buf_size = 8192
63
 
 
64
 
    def __init__(self, path, infile):
65
 
        """Constructor.
66
 
 
67
 
        :param path: File url, for error reports.
68
 
        :param infile: File-like socket set at body start.
69
 
        """
 
71
    def __init__(self, path, input_file):
70
72
        self._path = path
71
 
        self._file = infile
72
 
        self._boundary = None
73
 
        # When using multi parts response, this will be set with the headers
74
 
        # associated with the range currently read.
75
 
        self._headers = None
76
 
        # Default to the whole file of unspecified size
77
 
        self.set_range(0, -1)
78
 
 
79
 
    def set_range(self, start, size):
80
 
        """Change the range mapping"""
81
 
        self._start = start
82
 
        self._size = size
83
 
        # Set the new _pos since that's what we want to expose
84
 
        self._pos = self._start
85
 
 
86
 
    def set_boundary(self, boundary):
87
 
        """Define the boundary used in a multi parts message.
88
 
        
89
 
        The file should be at the beginning of the body, the first range
90
 
        definition is read and taken into account.
91
 
        """
92
 
        self._boundary = boundary
93
 
        # Decode the headers and setup the first range
94
 
        self.read_boundary()
95
 
        self.read_range_definition()
96
 
 
97
 
    def read_boundary(self):
98
 
        """Read the boundary headers defining a new range"""
99
 
        boundary_line = '\r\n'
100
 
        while boundary_line == '\r\n':
101
 
            # RFC2616 19.2 Additional CRLFs may precede the first boundary
102
 
            # string entity.
103
 
            # To be on the safe side we allow it before any boundary line
104
 
            boundary_line = self._file.readline()
105
 
        if boundary_line != '--' + self._boundary + '\r\n':
106
 
            raise errors.InvalidHttpResponse(
107
 
                self._path,
108
 
                "Expected a boundary (%s) line, got '%s'" % (self._boundary,
109
 
                                                             boundary_line))
110
 
 
111
 
    def read_range_definition(self):
112
 
        """Read a new range definition in a multi parts message.
113
 
 
114
 
        Parse the headers including the empty line following them so that we
115
 
        are ready to read the data itself.
116
 
        """
117
 
        self._headers = httplib.HTTPMessage(self._file, seekable=0)
118
 
        # Extract the range definition
119
 
        content_range = self._headers.getheader('content-range', None)
120
 
        if content_range is None:
121
 
            raise errors.InvalidHttpResponse(
122
 
                self._path,
123
 
                'Content-Range header missing in a multi-part response')
124
 
        self.set_range_from_header(content_range)
125
 
 
126
 
    def set_range_from_header(self, content_range):
127
 
        """Helper to set the new range from its description in the headers"""
128
 
        try:
129
 
            rtype, values = content_range.split()
130
 
        except ValueError:
131
 
            raise errors.InvalidHttpRange(self._path, content_range,
132
 
                                          'Malformed header')
133
 
        if rtype != 'bytes':
134
 
            raise errors.InvalidHttpRange(self._path, content_range,
135
 
                                          "Unsupported range type '%s'" % rtype)
136
 
        try:
137
 
            # We don't need total, but note that it may be either the file size
138
 
            # or '*' if the server can't or doesn't want to return the file
139
 
            # size.
140
 
            start_end, total = values.split('/')
141
 
            start, end = start_end.split('-')
142
 
            start = int(start)
143
 
            end = int(end)
144
 
        except ValueError:
145
 
            raise errors.InvalidHttpRange(self._path, content_range,
146
 
                                          'Invalid range values')
147
 
        size = end - start + 1
148
 
        if size <= 0:
149
 
            raise errors.InvalidHttpRange(self._path, content_range,
150
 
                                          'Invalid range, size <= 0')
151
 
        self.set_range(start, size)
152
 
 
153
 
    def _checked_read(self, size):
154
 
        """Read the file checking for short reads.
155
 
 
156
 
        The data read is discarded along the way.
157
 
        """
158
 
        pos = self._pos
159
 
        remaining = size
160
 
        while remaining > 0:
161
 
            data = self._file.read(min(remaining, self._discarded_buf_size))
162
 
            remaining -= len(data)
163
 
            if not data:
164
 
                raise errors.ShortReadvError(self._path, pos, size,
165
 
                                             size - remaining)
166
 
        self._pos += size
167
 
 
168
 
    def _seek_to_next_range(self):
169
 
        # We will cross range boundaries
170
 
        if self._boundary is None:
171
 
            # If we don't have a boundary, we can't find another range
172
 
            raise errors.InvalidRange(self._path, self._pos,
173
 
                                      "Range (%s, %s) exhausted"
174
 
                                      % (self._start, self._size))
175
 
        self.read_boundary()
176
 
        self.read_range_definition()
177
 
 
178
 
    def read(self, size=-1):
 
73
        self._pos = 0
 
74
        self._len = 0
 
75
        self._ranges = []
 
76
        self._data = input_file.read()
 
77
 
 
78
    def _add_range(self, ent_start, ent_end, data_start):
 
79
        """Add an entity range.
 
80
 
 
81
        :param ent_start: Start offset of entity
 
82
        :param ent_end: End offset of entity (inclusive)
 
83
        :param data_start: Start offset of data in data stream.
 
84
        """
 
85
        self._ranges.append(ResponseRange(ent_start, ent_end, data_start))
 
86
        self._len = max(self._len, ent_end)
 
87
 
 
88
    def _finish_ranges(self):
 
89
        self._ranges.sort()
 
90
 
 
91
    def read(self, size):
179
92
        """Read size bytes from the current position in the file.
180
93
 
181
 
        Reading across ranges is not supported. We rely on the underlying http
182
 
        client to clean the socket if we leave bytes unread. This may occur for
183
 
        the final boundary line of a multipart response or for any range
184
 
        request not entirely consumed by the client (due to offset coalescing)
 
94
        Reading across ranges is not supported.
185
95
        """
186
 
        if (self._size > 0
187
 
            and self._pos == self._start + self._size):
188
 
            if size == 0:
189
 
                return ''
190
 
            else:
191
 
                self._seek_to_next_range()
192
 
        elif self._pos < self._start:
193
 
            raise errors.InvalidRange(
194
 
                self._path, self._pos,
195
 
                "Can't read %s bytes before range (%s, %s)"
196
 
                % (size, self._start, self._size))
197
 
        if self._size > 0:
198
 
            if size > 0 and self._pos + size > self._start + self._size:
199
 
                raise errors.InvalidRange(
200
 
                    self._path, self._pos,
201
 
                    "Can't read %s bytes across range (%s, %s)"
202
 
                    % (size, self._start, self._size))
203
 
 
204
 
        if self._size > 0:
205
 
            # Don't read past the range definition
206
 
            limited = self._start + self._size - self._pos
207
 
            if size >= 0:
208
 
                limited = min(limited, size)
209
 
            data = self._file.read(limited)
210
 
        else:
211
 
            # Size of file unknown, the user may have specified a size or not,
212
 
            # we delegate that to the filesocket object (-1 means read until
213
 
            # EOF)
214
 
            data = self._file.read(size)
215
 
        # Update _pos respecting the data effectively read
216
 
        self._pos += len(data)
217
 
        return data
 
96
        # find the last range which has a start <= pos
 
97
        i = bisect(self._ranges, self._pos) - 1
 
98
 
 
99
        if i < 0 or self._pos > self._ranges[i]._ent_end:
 
100
            mutter('Bisect for pos: %s failed. Found offset: %d, ranges:%s',
 
101
                   self._pos, i, self._ranges)
 
102
            raise errors.InvalidRange(self._path, self._pos)
 
103
 
 
104
        r = self._ranges[i]
 
105
 
 
106
        # mutter('found range %s %s for pos %s', i, self._ranges[i], self._pos)
 
107
 
 
108
        if (self._pos + size - 1) > r._ent_end:
 
109
            raise errors.InvalidRange(self._path, self._pos)
 
110
 
 
111
        start = r._data_start + (self._pos - r._ent_start)
 
112
        end   = start + size
 
113
        # mutter("range read %d bytes at %d == %d-%d", size, self._pos,
 
114
        #         start, end)
 
115
        self._pos += (end-start)
 
116
        return self._data[start:end]
218
117
 
219
118
    def seek(self, offset, whence=0):
220
 
        start_pos = self._pos
221
119
        if whence == 0:
222
 
            final_pos = offset
 
120
            self._pos = offset
223
121
        elif whence == 1:
224
 
            final_pos = start_pos + offset
 
122
            self._pos += offset
225
123
        elif whence == 2:
226
 
            if self._size > 0:
227
 
                final_pos = self._start + self._size + offset # offset < 0
228
 
            else:
229
 
                raise errors.InvalidRange(
230
 
                    self._path, self._pos,
231
 
                    "RangeFile: can't seek from end while size is unknown")
 
124
            self._pos = self._len + offset
232
125
        else:
233
126
            raise ValueError("Invalid value %s for whence." % whence)
234
127
 
235
 
        if final_pos < self._pos:
236
 
            # Can't seek backwards
237
 
            raise errors.InvalidRange(
238
 
                self._path, self._pos,
239
 
                'RangeFile: trying to seek backwards to %s' % final_pos)
240
 
 
241
 
        if self._size > 0:
242
 
            cur_limit = self._start + self._size
243
 
            while final_pos > cur_limit:
244
 
                # We will cross range boundaries
245
 
                remain = cur_limit - self._pos
246
 
                if remain > 0:
247
 
                    # Finish reading the current range
248
 
                    self._checked_read(remain)
249
 
                self._seek_to_next_range()
250
 
                cur_limit = self._start + self._size
251
 
 
252
 
        size = final_pos - self._pos
253
 
        if size > 0: # size can be < 0 if we crossed a range boundary
254
 
            # We don't need the data, just read it and throw it away
255
 
            self._checked_read(size)
 
128
        if self._pos < 0:
 
129
            self._pos = 0
256
130
 
257
131
    def tell(self):
258
132
        return self._pos
259
133
 
260
134
 
261
 
def handle_response(url, code, msg, data):
262
 
    """Interpret the code & headers and wrap the provided data in a RangeFile.
263
 
 
264
 
    This is a factory method which returns an appropriate RangeFile based on
265
 
    the code & headers it's given.
 
135
class HttpRangeResponse(RangeFile):
 
136
    """A single-range HTTP response."""
 
137
 
 
138
    # TODO: jam 20060706 Consider compiling these regexes on demand
 
139
    _CONTENT_RANGE_RE = re.compile(
 
140
        r'\s*([^\s]+)\s+([0-9]+)-([0-9]+)/([0-9]+)\s*$')
 
141
 
 
142
    def __init__(self, path, content_range, input_file):
 
143
        # mutter("parsing 206 non-multipart response for %s", path)
 
144
        RangeFile.__init__(self, path, input_file)
 
145
        start, end = self._parse_range(content_range, path)
 
146
        self._add_range(start, end, 0)
 
147
        self._finish_ranges()
 
148
 
 
149
    @staticmethod
 
150
    def _parse_range(range, path='<unknown>'):
 
151
        """Parse an http Content-range header and return start + end
 
152
 
 
153
        :param range: The value for Content-range
 
154
        :param path: Provide to give better error messages.
 
155
        :return: (start, end) A tuple of integers
 
156
        """
 
157
        match = HttpRangeResponse._CONTENT_RANGE_RE.match(range)
 
158
        if not match:
 
159
            raise errors.InvalidHttpRange(path, range,
 
160
                                          "Invalid Content-range")
 
161
 
 
162
        rtype, start, end, total = match.groups()
 
163
 
 
164
        if rtype != 'bytes':
 
165
            raise errors.InvalidHttpRange(path, range,
 
166
                    "Unsupported range type '%s'" % (rtype,))
 
167
 
 
168
        try:
 
169
            start = int(start)
 
170
            end = int(end)
 
171
        except ValueError, e:
 
172
            raise errors.InvalidHttpRange(path, range, str(e))
 
173
 
 
174
        return start, end
 
175
 
 
176
 
 
177
class HttpMultipartRangeResponse(RangeFile):
 
178
    """A multi-range HTTP response."""
 
179
    
 
180
    _CONTENT_TYPE_RE = re.compile(
 
181
        r'^\s*multipart/byteranges\s*;\s*boundary\s*=\s*("?)([^"]*?)\1\s*$')
 
182
    
 
183
    # Start with --<boundary>\r\n
 
184
    # and ignore all headers ending in \r\n
 
185
    # except for content-range:
 
186
    # and find the two trailing \r\n separators
 
187
    # indicating the start of the text
 
188
    # TODO: jam 20060706 This requires exact conformance
 
189
    #       to the spec, we probably could relax the requirement
 
190
    #       of \r\n, and use something more like (\r?\n)
 
191
    _BOUNDARY_PATT = (
 
192
        "^--%s(?:\r\n(?:(?:content-range:([^\r]+))|[^\r]+))+\r\n\r\n")
 
193
 
 
194
    def __init__(self, path, content_type, input_file):
 
195
        # mutter("parsing 206 multipart response for %s", path)
 
196
        # TODO: jam 20060706 Is it valid to initialize a
 
197
        #       grandparent without initializing parent?
 
198
        RangeFile.__init__(self, path, input_file)
 
199
 
 
200
        self.boundary_regex = self._parse_boundary(content_type, path)
 
201
        # mutter('response:\n%r', self._data)
 
202
 
 
203
        for match in self.boundary_regex.finditer(self._data):
 
204
            ent_start, ent_end = HttpRangeResponse._parse_range(match.group(1),
 
205
                                                                path)
 
206
            self._add_range(ent_start, ent_end, match.end())
 
207
 
 
208
        self._finish_ranges()
 
209
 
 
210
    @staticmethod
 
211
    def _parse_boundary(ctype, path='<unknown>'):
 
212
        """Parse the Content-type field.
 
213
        
 
214
        This expects a multipart Content-type, and returns a
 
215
        regex which is capable of finding the boundaries
 
216
        in the multipart data.
 
217
        """
 
218
        match = HttpMultipartRangeResponse._CONTENT_TYPE_RE.match(ctype)
 
219
        if not match:
 
220
            raise errors.InvalidHttpContentType(path, ctype,
 
221
                    "Expected multipart/byteranges with boundary")
 
222
 
 
223
        boundary = match.group(2)
 
224
        # mutter('multipart boundary is %s', boundary)
 
225
        pattern = HttpMultipartRangeResponse._BOUNDARY_PATT
 
226
        return re.compile(pattern % re.escape(boundary),
 
227
                          re.IGNORECASE | re.MULTILINE)
 
228
 
 
229
 
 
230
def _is_multipart(content_type):
 
231
    return content_type.startswith('multipart/byteranges;')
 
232
 
 
233
 
 
234
def handle_response(url, code, headers, data):
 
235
    """Interpret the code & headers and return a HTTP response.
 
236
 
 
237
    This is a factory method which returns an appropriate HTTP response
 
238
    based on the code & headers it's given.
266
239
 
267
240
    :param url: The url being processed. Mostly for error reporting
268
241
    :param code: The integer HTTP response code
269
 
    :param msg: An HTTPMessage containing the headers for the response
 
242
    :param headers: A dict-like object that contains the HTTP response headers
270
243
    :param data: A file-like object that can be read() to get the
271
244
                 requested data
272
245
    :return: A file-like object that can seek()+read() the 
273
246
             ranges indicated by the headers.
274
247
    """
275
 
    rfile = RangeFile(url, data)
276
 
    if code == 200:
277
 
        # A whole file
278
 
        size = msg.getheader('content-length', None)
279
 
        if size is None:
280
 
            size = -1
281
 
        else:
282
 
            size = int(size)
283
 
        rfile.set_range(0, size)
284
 
    elif code == 206:
285
 
        content_type = msg.getheader('content-type', None)
286
 
        if content_type is None:
287
 
            # When there is no content-type header we treat the response as
288
 
            # being of type 'application/octet-stream' as per RFC2616 section
289
 
            # 7.2.1.
 
248
 
 
249
    if code == 206:
 
250
        try:
 
251
            content_type = headers['Content-Type']
 
252
        except KeyError:
 
253
            # When there is no content-type header we treat
 
254
            # the response as being of type 'application/octet-stream' as per
 
255
            # RFC2616 section 7.2.1.
290
256
            # Therefore it is obviously not multipart
291
257
            content_type = 'application/octet-stream'
292
258
            is_multipart = False
293
259
        else:
294
 
            is_multipart = (msg.getmaintype() == 'multipart'
295
 
                            and msg.getsubtype() == 'byteranges')
 
260
            is_multipart = _is_multipart(content_type)
296
261
 
297
262
        if is_multipart:
298
263
            # Full fledged multipart response
299
 
            rfile.set_boundary(msg.getparam('boundary'))
 
264
            return HttpMultipartRangeResponse(url, content_type, data)
300
265
        else:
301
266
            # A response to a range request, but not multipart
302
 
            content_range = msg.getheader('content-range', None)
303
 
            if content_range is None:
 
267
            try:
 
268
                content_range = headers['Content-Range']
 
269
            except KeyError:
304
270
                raise errors.InvalidHttpResponse(url,
305
271
                    'Missing the Content-Range header in a 206 range response')
306
 
            rfile.set_range_from_header(content_range)
 
272
            return HttpRangeResponse(url, content_range, data)
 
273
    elif code == 200:
 
274
        # A regular non-range response, unfortunately the result from
 
275
        # urllib doesn't support seek, so we wrap it in a StringIO
 
276
        tell = getattr(data, 'tell', None)
 
277
        if tell is None:
 
278
            return StringIO(data.read())
 
279
        return data
 
280
    elif code == 404:
 
281
        raise errors.NoSuchFile(url)
 
282
    elif code == 416:
 
283
        # We don't know which, but one of the ranges we specified
 
284
        # was wrong. So we raise with 0 for a lack of a better
 
285
        # magic value.
 
286
        raise errors.InvalidRange(url,0)
 
287
 
 
288
    # TODO: jam 20060713 Properly handle redirects (302 Found, etc)
 
289
    #       The '_get' code says to follow redirects, we probably 
 
290
    #       should actually handle the return values
307
291
    else:
308
 
        raise errors.InvalidHttpResponse(url,
309
 
                                         'Unknown response code %s' % code)
310
 
 
311
 
    return rfile
 
292
        raise errors.InvalidHttpResponse(url, "Unknown response code %s" 
 
293
                                              % (code,))
312
294