diff options
-rwxr-xr-x | scripts/load_every_help.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/load_every_help.py b/scripts/load_every_help.py index 1c7bbdc9..a7121c9b 100755 --- a/scripts/load_every_help.py +++ b/scripts/load_every_help.py @@ -39,7 +39,11 @@ def make_netreceive_patch(filename): def send_to_socket(message): s = socket.socket(socket.AF_INET, socket.SOCK_STREAM) - s.connect(('localhost', PORT)) + try: + s.connect(('localhost', PORT)) + except: + # TODO for now just ignore socket errors.... + pass s.send(message) s.close() |