fix: remove automatic reset from python client connection (#1242)

GaloisInc · Jul 21, 2021 · e5bab30 · e5bab30
1 parent 914f7fb
commit e5bab30
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/cryptol-remote-api/python/cryptol/connection.py b/cryptol-remote-api/python/cryptol/connection.py
@@ -258,14 +258,6 @@ def reset_server(self) -> None:
         CryptolResetServer(self)
         self.most_recent_result = None
 
-    def __del__(self) -> None:
-        # when being deleted, ensure we don't have a lingering state on the server
-        if self.most_recent_result is not None:
-            try:
-                CryptolReset(self)
-            except Exception:
-                pass
-
 class CryptolDynamicSocketProcess(DynamicSocketProcess):
 
     def __init__(self, command: str, *,