Add WebLoop.close method

Which is a no-op, so we don't crash if people try to close the loop.
hoodmane · Dec 5, 2023 · b9d5ec3 · b9d5ec3
1 parent 9257dd2
commit b9d5ec3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/py/pyodide/webloop.py b/src/py/pyodide/webloop.py
@@ -238,6 +238,10 @@ def is_closed(self) -> bool:
         """
         return False
 
+    def close(self) -> None:
+        """Ignore request to close WebLoop"""
+        pass
+
     def _check_closed(self):
         """Used in create_task.