##// END OF EJS Templates
Make "[web] allow_push, deny_push" and "[http_proxy] no" use ui.configlist.
Make "[web] allow_push, deny_push" and "[http_proxy] no" use ui.configlist.

File last commit:

r2438:a765f853 default
r2501:b73552a0 default
Show More
test-bad-pull
26 lines | 648 B | text/plain | TextLexer
#!/bin/sh
hg clone http://localhost:20059/ copy
echo $?
ls copy 2>/dev/null || echo copy: No such file or directory
cat > dumb.py <<EOF
import BaseHTTPServer, SimpleHTTPServer, signal
def run(server_class=BaseHTTPServer.HTTPServer,
handler_class=SimpleHTTPServer.SimpleHTTPRequestHandler):
server_address = ('localhost', 20059)
httpd = server_class(server_address, handler_class)
httpd.serve_forever()
signal.signal(signal.SIGTERM, lambda x: sys.exit(0))
run()
EOF
python dumb.py 2>/dev/null &
http_proxy= hg clone http://localhost:20059/foo copy2 2>&1 | \
sed -e 's/404.*/404/' -e 's/Date:.*/Date:/'
echo $?
kill $!