equal
deleted
inserted
replaced
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 |
21 |
22 hg clone http://localhost:20059/foo copy2 |
22 http_proxy= hg clone http://localhost:20059/foo copy2 |
23 echo $? |
23 echo $? |
24 |
24 |
25 kill $! |
25 kill $! |