author | Thomas Arendsen Hein <thomas@intevation.de> |
Mon, 27 Jun 2005 06:52:13 +0100 | |
changeset 492 | 9bd468e36de3 |
parent 485 | c5705ab9cebd |
child 495 | e94cebc60d96 |
permissions | -rwxr-xr-x |
395 | 1 |
#!/bin/bash |
2 |
||
485 | 3 |
hg clone http://localhost:20059/ copy |
395 | 4 |
cd copy |
5 |
hg verify |
|
6 |
hg co |
|
7 |
cat foo |
|
8 |
hg manifest |
|
9 |
||
10 |
cat > dumb.py <<EOF |
|
11 |
import BaseHTTPServer, SimpleHTTPServer, signal |
|
12 |
||
13 |
def run(server_class=BaseHTTPServer.HTTPServer, |
|
14 |
handler_class=SimpleHTTPServer.SimpleHTTPRequestHandler): |
|
15 |
server_address = ('localhost', 20059) |
|
16 |
httpd = server_class(server_address, handler_class) |
|
17 |
httpd.serve_forever() |
|
18 |
||
19 |
signal.signal(signal.SIGTERM, lambda x: sys.exit(0)) |
|
20 |
run() |
|
21 |
EOF |
|
22 |
||
23 |
python dumb.py 2>/dev/null & |
|
24 |
||
485 | 25 |
hg clone http://localhost:20059/foo copy2 |
395 | 26 |
cd copy2 |
27 |
hg verify |
|
28 |
hg co |
|
29 |
cat foo |
|
30 |
hg manifest |
|
31 |
||
492
9bd468e36de3
Use "kill $!" to kill running background processes.
Thomas Arendsen Hein <thomas@intevation.de>
parents:
485
diff
changeset
|
32 |
kill $! |