##// END OF EJS Templates
Handle failure to read JSON waiting for server start...
Thomas Kluyver -
Show More
@@ -274,8 +274,14 b' class JSController(TestController):'
274 if self.server.poll() is not None:
274 if self.server.poll() is not None:
275 return self._failed_to_start()
275 return self._failed_to_start()
276 if os.path.exists(self.server_info_file):
276 if os.path.exists(self.server_info_file):
277 self._load_server_info()
277 try:
278 return
278 self._load_server_info()
279 except ValueError:
280 # If the server is halfway through writing the file, we may
281 # get invalid JSON; it should be ready next iteration.
282 pass
283 else:
284 return
279 time.sleep(0.1)
285 time.sleep(0.1)
280 print("Notebook server-info file never arrived: %s" % self.server_info_file,
286 print("Notebook server-info file never arrived: %s" % self.server_info_file,
281 file=sys.stderr
287 file=sys.stderr
General Comments 0
You need to be logged in to leave comments. Login now