equal
deleted
inserted
replaced
1 #!/bin/sh -x |
1 #!/bin/sh |
2 |
2 |
3 hg clone http://localhost:20059/ copy |
3 hg clone http://localhost:20059/ copy |
4 echo $? |
4 echo $? |
5 ls copy |
5 ls copy |
6 |
6 |
15 |
15 |
16 signal.signal(signal.SIGTERM, lambda x: sys.exit(0)) |
16 signal.signal(signal.SIGTERM, lambda x: sys.exit(0)) |
17 run() |
17 run() |
18 EOF |
18 EOF |
19 |
19 |
20 set +x # backgrounding sometimes disturbs the order of command tracing |
|
21 python dumb.py 2>/dev/null & |
20 python dumb.py 2>/dev/null & |
22 set -x |
|
23 |
21 |
24 hg clone http://localhost:20059/foo copy2 |
22 hg clone http://localhost:20059/foo copy2 |
25 echo $? |
23 echo $? |
26 |
24 |
27 set +x |
|
28 kill $! |
25 kill $! |