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...")