Make quitting during CoqStart slightly more robust

whonore · Jun 29, 2024 · e6c73e5 · e6c73e5
1 parent 4ff765c
commit e6c73e5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/python/coqtail.py b/python/coqtail.py
@@ -886,7 +886,7 @@ def parse_msgs(self) -> None:
             try:
                 msg = self.rfile.readline()
                 msg_id, data = json.loads(msg)
-            except (json.JSONDecodeError, ConnectionError):
+            except (json.JSONDecodeError, ConnectionError, ValueError):
                 # Check if channel closed
                 self.closed = True
                 break

diff --git a/python/coqtop.py b/python/coqtop.py
@@ -846,9 +846,7 @@ def interrupt(self) -> None:
             self.dune.send_signal(signal.SIGTERM)
             self.dune.wait()
             self.dune = None
-        else:
-            if self.coqtop is None:
-                raise CoqtopError("Coqtop is not running.")
+        elif self.coqtop is not None:
             self.coqtop.send_signal(signal.SIGINT)
 
     # Current State #