| changeset 1923 | 7d83a351a936 |
| parent 1260 | 4603eef60237 |
| child 1925 | c71420b186b0 |
| 1739:57de7e1a81d2 | 1923:7d83a351a936 |
|---|---|
34 http_proxy= python getarchive.py "$TIP" bz2 | tar tjf - | sed "s/$QTIP/TIP/" |
34 http_proxy= python getarchive.py "$TIP" bz2 | tar tjf - | sed "s/$QTIP/TIP/" |
35 http_proxy= python getarchive.py "$TIP" zip > archive.zip |
35 http_proxy= python getarchive.py "$TIP" zip > archive.zip |
36 unzip -t archive.zip | sed "s/$QTIP/TIP/" |
36 unzip -t archive.zip | sed "s/$QTIP/TIP/" |
37 |
37 |
38 kill $! |
38 kill $! |
39 sleep 1 # wait for server to scream and die |