Suppress server shutdown traceback

sphinx-doc · Apr 8, 2024 · 1aa4bd3 · 1aa4bd3
1 parent 07ac9d7
commit 1aa4bd3
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/sphinx_autobuild/__main__.py b/sphinx_autobuild/__main__.py
@@ -16,7 +16,7 @@
 from sphinx_autobuild import __version__
 from sphinx_autobuild.build import Builder
 from sphinx_autobuild.filter import IgnoreFilter
-from sphinx_autobuild.utils import find_free_port, open_browser
+from sphinx_autobuild.utils import find_free_port, open_browser, show
 
 
 def main():
@@ -59,7 +59,10 @@ def main():
     if args.open_browser:
         open_browser(url_host, args.delay)
 
-    server.serve(port=port_num, host=host_name, root=out_dir)
+    try:
+        server.serve(port=port_num, host=host_name, root=out_dir)
+    except KeyboardInterrupt:
+        show(context="Server ceasing operations. Cheerio!")
 
 
 def _parse_args(argv):