equal
deleted
inserted
replaced
|
1 #!/bin/bash |
|
2 |
|
3 mkdir copy |
|
4 cd copy |
|
5 hg init http://localhost:20059/ |
|
6 hg verify |
|
7 hg co |
|
8 cat foo |
|
9 hg manifest |
|
10 |
|
11 cat > dumb.py <<EOF |
|
12 import BaseHTTPServer, SimpleHTTPServer, signal |
|
13 |
|
14 def run(server_class=BaseHTTPServer.HTTPServer, |
|
15 handler_class=SimpleHTTPServer.SimpleHTTPRequestHandler): |
|
16 server_address = ('localhost', 20059) |
|
17 httpd = server_class(server_address, handler_class) |
|
18 httpd.serve_forever() |
|
19 |
|
20 signal.signal(signal.SIGTERM, lambda x: sys.exit(0)) |
|
21 run() |
|
22 EOF |
|
23 |
|
24 python dumb.py 2>/dev/null & |
|
25 |
|
26 mkdir copy2 |
|
27 cd copy2 |
|
28 hg init http://localhost:20059/foo |
|
29 hg verify |
|
30 hg co |
|
31 cat foo |
|
32 hg manifest |
|
33 |
|
34 kill %1 |