8 |
8 |
9 This server doesn't do range requests so it's basically only good for |
9 This server doesn't do range requests so it's basically only good for |
10 one pull |
10 one pull |
11 |
11 |
12 $ cat > dumb.py <<EOF |
12 $ cat > dumb.py <<EOF |
13 > import BaseHTTPServer, SimpleHTTPServer, os, signal |
13 > import BaseHTTPServer, SimpleHTTPServer, os, signal, sys |
14 > |
14 > |
15 > def run(server_class=BaseHTTPServer.HTTPServer, |
15 > def run(server_class=BaseHTTPServer.HTTPServer, |
16 > handler_class=SimpleHTTPServer.SimpleHTTPRequestHandler): |
16 > handler_class=SimpleHTTPServer.SimpleHTTPRequestHandler): |
17 > server_address = ('localhost', int(os.environ['HGPORT'])) |
17 > server_address = ('localhost', int(os.environ['HGPORT'])) |
18 > httpd = server_class(server_address, handler_class) |
18 > httpd = server_class(server_address, handler_class) |
19 > httpd.serve_forever() |
19 > httpd.serve_forever() |
20 > |
20 > |
21 > signal.signal(signal.SIGTERM, lambda x: sys.exit(0)) |
21 > signal.signal(signal.SIGTERM, lambda x, y: sys.exit(0)) |
22 > run() |
22 > run() |
23 > EOF |
23 > EOF |
24 $ python dumb.py 2>/dev/null & |
24 $ python dumb.py 2>/dev/null & |
25 $ echo $! >> $DAEMON_PIDS |
25 $ echo $! >> $DAEMON_PIDS |
26 $ mkdir remote |
26 $ mkdir remote |