def __init__(self):
     threading.Thread.__init__(self)
     self.shells = {}
     self.setDaemon(True)
     global SPYDER_PORT
     self.port = SPYDER_PORT = select_port(default_port=SPYDER_PORT)
     SPYDER_PORT += 1
 def __init__(self):
     threading.Thread.__init__(self)
     self.shells = {}
     self.setDaemon(True)
     global SPYDER_PORT
     self.port = SPYDER_PORT = select_port(default_port=SPYDER_PORT)
     SPYDER_PORT += 1
Beispiel #3
0
 def start_server(self):
     """Start pydoc server"""
     if self.server is None:
         self.port = select_port(default_port=self.DEFAULT_PORT)
         self.set_home_url('http://localhost:%d/' % self.port)
     elif self.server.isRunning():
         self.server.server_started.disconnect(self.initialize_continued)
         self.server.quit()
     self.server = PydocServer(port=self.port)
     self.server.server_started.connect(self.initialize_continued)
     self.server.start()
Beispiel #4
0
 def start_server(self):
     """Start pydoc server"""
     if self.server is None:
         self.port = select_port(default_port=self.DEFAULT_PORT)
         self.set_home_url('http://localhost:%d/' % self.port)
     elif self.server.isRunning():
         self.server.server_started.disconnect(self.initialize_continued)
         self.server.quit()
     self.server = PydocServer(port=self.port)
     self.server.server_started.connect(self.initialize_continued)
     self.server.start()