equal
deleted
inserted
replaced
83 if httpheader: |
83 if httpheader: |
84 headersize = int(httpheader.split(',')[0]) |
84 headersize = int(httpheader.split(',')[0]) |
85 if headersize > 0: |
85 if headersize > 0: |
86 # The headers can typically carry more data than the URL. |
86 # The headers can typically carry more data than the URL. |
87 encargs = urllib.urlencode(sorted(args.items())) |
87 encargs = urllib.urlencode(sorted(args.items())) |
88 headerfmt = 'X-Arg-%s' |
88 headerfmt = 'X-HgArg-%s' |
89 contentlen = headersize - len(headerfmt % '000' + ': \r\n') |
89 contentlen = headersize - len(headerfmt % '000' + ': \r\n') |
90 headernum = 0 |
90 headernum = 0 |
91 for i in xrange(0, len(encargs), contentlen): |
91 for i in xrange(0, len(encargs), contentlen): |
92 headernum += 1 |
92 headernum += 1 |
93 header = headerfmt % str(headernum) |
93 header = headerfmt % str(headernum) |