(self, tool_name)
| 273 | os.startfile(filename) |
| 274 | |
| 275 | def run(self, tool_name): |
| 276 | # find a port number that's available |
| 277 | random.seed() |
| 278 | while True: |
| 279 | port = random.randint(1025, 65535) |
| 280 | try: |
| 281 | self.listen(port, "127.0.0.1") |
| 282 | break |
| 283 | except OSError: # it's possible that the port we want to use is already in use |
| 284 | continue |
| 285 | self.port = port |
| 286 | |
| 287 | self.launch_browser(tool_name) |
| 288 | |
| 289 | # setup the main event loop |
| 290 | loop = tornado.ioloop.IOLoop.current() |
| 291 | self.timeout_handler = loop.call_later(SERVER_TIMEOUT, self.quit) |
| 292 | loop.start() |
| 293 | |
| 294 | def reset_timeout(self): |
| 295 | loop = tornado.ioloop.IOLoop.current() |
no test coverage detected