This really is a bizarre bug.  Maybe it's some sort of race condition.  What
I can tell you is that sometime between when we fetch the server greeting
(always a 200 ready) and when we call get_serv_info(), the server socket dies.
 If you run it in the debugger you get a SIGPIPE. 
 

Reply via email to