http_proxy.cc: Make server EOF -> exit