Miscellany

Traceback (most recent call last):
  File "SocketServer.py", line 463, in process_request_thread
    self.finish_request(request, client_address)
  File "SocketServer.py", line 254, in finish_request
    self.RequestHandlerClass(request, client_address, self)
  File "SocketServer.py", line 521, in __init__
    self.handle()
  File "BaseHTTPServer.py", line 316, in handle
    self.handle_one_request()
  File "BaseHTTPServer.py", line 310, in handle_one_request
    method()
  File "/usr/lib/xen-3.0.3-1/bin/../lib/python/xen/util/xmlrpclib2.py", line 66, in do_POST
    self.send_response(200)
  File "BaseHTTPServer.py", line 367, in send_response
    self.wfile.write("%s %d %s\r\n" %
  File "socket.py", line 248, in write
    self.flush()
  File "socket.py", line 235, in flush
    self._sock.sendall(buffer)
error: (32, 'Broken pipe')