From a3b8489b8ce225e1138f604844432107c0cfa26e Mon Sep 17 00:00:00 2001 From: Steveice10 Date: Thu, 19 Jan 2017 20:03:05 -0800 Subject: [PATCH] Update buildtools, exit with code 1 in servefiles if a socket error occurs. --- buildtools | 2 +- servefiles/servefiles.py | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/buildtools b/buildtools index 29ab223..78acb42 160000 --- a/buildtools +++ b/buildtools @@ -1 +1 @@ -Subproject commit 29ab2234e7376807d154a2a06b5d3d49ad50f631 +Subproject commit 78acb42849b6d8316a2a9de52c4cc41b784d4508 diff --git a/servefiles/servefiles.py b/servefiles/servefiles.py index c86fdb9..2a3ac00 100644 --- a/servefiles/servefiles.py +++ b/servefiles/servefiles.py @@ -78,6 +78,8 @@ try: sock.close() except Exception as e: print("Error: " + str(e)) + server.shutdown() + sys.exit(1) print("Shutting down HTTP server...")