| changeset 48946 | 642e31cb55f0 |
| parent 48875 | 6000f5b25c9b |
| child 49306 | 2e726c934fcd |
| 48945:55d132525155 | 48946:642e31cb55f0 |
|---|---|
32 |
32 |
33 urlerr = util.urlerr |
33 urlerr = util.urlerr |
34 urlreq = util.urlreq |
34 urlreq = util.urlreq |
35 |
35 |
36 |
36 |
37 class httprangereader(object): |
37 class httprangereader: |
38 def __init__(self, url, opener): |
38 def __init__(self, url, opener): |
39 # we assume opener has HTTPRangeHandler |
39 # we assume opener has HTTPRangeHandler |
40 self.url = url |
40 self.url = url |
41 self.pos = 0 |
41 self.pos = 0 |
42 self.opener = opener |
42 self.opener = opener |