| changeset 2438 | a765f853439d |
| parent 1962 | 2a676ad52c22 |
| child 2571 | d22d730c96ed |
| 2437:2f5dbc24874a | 2438:a765f853439d |
|---|---|
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 http_proxy= hg clone http://localhost:20059/foo copy2 |
22 http_proxy= hg clone http://localhost:20059/foo copy2 2>&1 | \ |
23 sed -e 's/404.*/404/' -e 's/Date:.*/Date:/' |
|
23 echo $? |
24 echo $? |
24 |
25 |
25 kill $! |
26 kill $! |