Lines Matching refs:PyWebSocket
630 self._websocket_server = websocket_server.PyWebSocket(self, self.results_directory())