def stop_our_server(): """ Stop our server, for shutting down nicely. This is faster than calling server.stop(), because in the latter case the server will need to timeout (0.25 s) before it sees that it needs to stop. """ if is_our_server_running(): try: server.stop() # Post a stop message do_request(ADDRESS, "stopserver", 0.1) # trigger print("Stopped our command server.") except Exception as err: print("Failed to stop command server:") print(err)
def stop_our_server(): """ Stop our server, for shutting down nicely. This is faster than calling server.stop(), because in the latter case the server will need to timeout (0.25 s) before it sees that it needs to stop. """ if is_our_server_running(): try: server.stop() # Post a stop message do_request(ADDRESS, 'stopserver', 0.1) # trigger print('Stopped our command server.') except Exception as err: print('Failed to stop command server:') print(err)
def is_pyzo_server_running(): """ Test whether the Pyzo server is running *somewhere* (not necesarily in this process). """ try: res = do_request(ADDRESS, "echo", 0.2) return res.startswith("echo") except Exception: return False
def is_pyzo_server_running(): """ Test whether the Pyzo server is running *somewhere* (not necesarily in this process). """ try: res = do_request(ADDRESS, 'echo', 0.2) return res.startswith('echo') except Exception: return False
def handle_cmd_args(): """ Handle command line arguments by sending them to the server. Returns a result string if any commands were processed, and None otherwise. """ args = sys.argv[1:] request = " ".join(args) if "psn_" in request and not os.path.isfile(request): request = " ".join(args[1:]) # An OSX thing when clicking app icon request = request.strip() # if not request: return None else: # Always send to server, even if we are the ones that run the server try: return do_request(ADDRESS, request, 0.4).rstrip() except Exception as err: print("Could not process command line args:\n%s" % str(err)) return None
def handle_cmd_args(): """ Handle command line arguments by sending them to the server. Returns a result string if any commands were processed, and None otherwise. """ args = sys.argv[1:] request = ' '.join(args) if 'psn_' in request and not os.path.isfile(request): request = ' '.join(args[1:]) # An OSX thing when clicking app icon request = request.strip() # if not request: return None else: # Always send to server, even if we are the ones that run the server try: return do_request(ADDRESS, request, 0.4).rstrip() except Exception as err: print('Could not process command line args:\n%s' % str(err)) return None