code: def pull_doc(self, document):
          ''' Pull a document from the server, overwriting the passed-in document
  
          Args:
              document : (Document)
                The document to overwrite with server content.
  
          Returns:
              None
  
          '''
          msg = self._protocol.create('PULL-DOC-REQ')
          reply = self._send_message_wait_for_reply(msg)
          if reply is None:
              raise RuntimeError("Connection to server was lost")
          elif reply.header['msgtype'] == 'ERROR':
              raise RuntimeError("Failed to pull document: " + reply.content['text'])
          else:
              reply.push_to_document(documentf pull_doc(self, document):
          ''' Pull a document from the server, overwriting the passed-in document
  
          Args:
              document : (Document)
                The document to overwrite with server content.
  
          Returns:
              None
  
          '''
          msg = self._protocol.create('PULL-DOC-REQ')
          reply = self._send_message_wait_for_reply(msg)
          if reply is None:
              raise RuntimeError("Connection to server was lost")
          elif reply.header['msgtype'] == 'ERROR':
              raise RuntimeError("Failed to pull document: " + reply.content['text'])
          else:
              reply.push_to_document(document)
docs: Pull a document from the server, overwriting the passed-in document
  
          Args:
              document : (Document)
                The document to overwrite with server content.
  
          Returns:
              None