merge: do early copy to deal with issue636 Without copies/renames, merges source names are 1:1 with their targets. Copies and renames introduce the possibility that there will be two merges with the same input but different output. By doing the copy to the destination name before the merge, the actual merge becomes 1:1 again, and no source is the input to two different merges. - add a preliminary scan to applyupdates to do copies - for the merge action, pass the old name (for finding ancestors) and the new name (for input to the merge) to filemerge - eliminate the old post-merge copy - lookup file contents from new name in filemerge - pass new name to external merge helper - report merge failure at new name - add a test

     1

#!/usr/bin/env python

     2

     3

__doc__ = """This does HTTP get requests given a host:port and path and returns

     4

a subset of the headers plus the body of the result."""

     5

     6

import httplib, sys

     7

headers = [h.lower() for h in sys.argv[3:]]

     8

conn = httplib.HTTPConnection(sys.argv[1])

     9

conn.request("GET", sys.argv[2])

    10

response = conn.getresponse()

    11

print response.status, response.reason

    12

for h in headers:

    13

    if response.getheader(h, None) is not None:

    14

        print "%s: %s" % (h, response.getheader(h))

    15

print

    16

sys.stdout.write(response.read())