Re: [Python-Dev] Bug in SimpleHTTPRequestHandler.send_head?