| changeset 1935 | d32c442571f2 |
| parent 1933 | 7544700fd931 |
| child 1962 | 2a676ad52c22 |
| 1934:6af6d02a9879 | 1935:d32c442571f2 |
|---|---|
1 #!/bin/sh |
1 #!/bin/sh |
2 |
2 |
3 http_proxy= hg clone old-http://localhost:20059/ copy > clonefail.out 2>&1 |
3 http_proxy= hg clone old-http://localhost:20059/ copy |
4 echo $? |
4 echo $? |
5 sed 's/[0-9]//g' < clonefail.out |
|
6 ls copy |
5 ls copy |
7 |
6 |
8 # This server doesn't do range requests so it's basically only good for |
7 # This server doesn't do range requests so it's basically only good for |
9 # one pull |
8 # one pull |
10 cat > dumb.py <<EOF |
9 cat > dumb.py <<EOF |