equal
deleted
inserted
replaced
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 python dumb.py 2>/dev/null & |
20 python dumb.py 2>/dev/null & |
|
21 echo $! >> $DAEMON_PIDS |
21 |
22 |
22 http_proxy= hg clone http://localhost:20059/foo copy2 2>&1 | \ |
23 http_proxy= hg clone http://localhost:20059/foo copy2 2>&1 | \ |
23 sed -e 's/404.*/404/' -e 's/Date:.*/Date:/' |
24 sed -e 's/404.*/404/' -e 's/Date:.*/Date:/' |
24 echo $? |
25 echo $? |
25 |
26 |