##// END OF EJS Templates
Report on push/pull if heads are merged, too, like for new heads....
Report on push/pull if heads are merged, too, like for new heads. Use case: If a remote repo has two heads and I _want_ to merge them, I merge and push. Meanwhile someone else pushed on top of one of the heads. He won't get a warning, because he doesn't create a new head, I won't notice that I don't close a head, because I don't get a message telling me.

File last commit:

r2161:12e11413 default
r2424:09203924 default
Show More
httprangereader.py
28 lines | 856 B | text/x-python | PythonLexer
mpm@selenic.com
Move httprangereader into its own file...
r372 # httprangereader.py - just what it says
#
# Copyright 2005 Matt Mackall <mpm@selenic.com>
#
# This software may be used and distributed according to the terms
# of the GNU General Public License, incorporated herein by reference.
import byterange, urllib2
Eric Hopper
Convert all classes to new-style classes by deriving them from object.
r1559 class httprangereader(object):
mpm@selenic.com
Move httprangereader into its own file...
r372 def __init__(self, url):
self.url = url
self.pos = 0
def seek(self, pos):
self.pos = pos
def read(self, bytes=None):
opener = urllib2.build_opener(byterange.HTTPRangeHandler())
urllib2.install_opener(opener)
req = urllib2.Request(self.url)
end = ''
Alexis S. L. Carvalho
Fix revlog-ng interaction with old-http....
r2138 if bytes:
end = self.pos + bytes - 1
mpm@selenic.com
Move httprangereader into its own file...
r372 req.add_header('Range', 'bytes=%d-%s' % (self.pos, end))
f = urllib2.urlopen(req)
Alexis S. L. Carvalho
Fix just introduced possible old-http bug...
r2161 data = f.read()
if bytes:
data = data[:bytes]
return data