[pypy-issue] [issue1523] read() stuck at the end of HTTPS stream