commit c2150590547fad30616969a4021c378265b0573c
Author: Daniel Swanson <popcorn.tomato.dude@gmail.com>
Date:   Wed Jul 14 14:49:58 2021 -0500

    make ^C actually exit web mode

diff --git a/apertium-regtest.py b/apertium-regtest.py
index 789087b..5b5289c 100755
--- a/apertium-regtest.py
+++ b/apertium-regtest.py
@@ -664,7 +664,9 @@ def start_server(port, page_size=25):
    	        httpd.serve_forever()
         except KeyboardInterrupt:
             print('')
-            sys.exit(0)
+            # the exception raised by sys.exit() gets caught by the
+            # server, so we need to be a bit more drastic
+            os._exit(0)
 
 class RegtestShell(cmd.Cmd):
     prompt = '> '