txl-kernel 0.2.3__tar.gz → 0.2.13__tar.gz

{txl_kernel-0.2.3 → txl_kernel-0.2.13}/.gitignore

@@ -1,3 +1,4 @@
 __pycache__
+
 # pixi environments
 .pixi

{txl_kernel-0.2.3 → txl_kernel-0.2.13}/PKG-INFO

@@ -1,6 +1,6 @@
-Metadata-Version: 2.1
+Metadata-Version: 2.3
 Name: txl_kernel
-Version: 0.2.3
+Version: 0.2.13
 Summary: TXL plugin for a kernel driver
 Project-URL: Source, https://github.com/davidbrochart/jpterm/plugins/kernel
 Author-email: David Brochart <david.brochart@gmail.com>
@@ -14,7 +14,8 @@ Classifier: Programming Language :: Python :: 3.12
 Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: Programming Language :: Python :: Implementation :: PyPy
 Requires-Python: >=3.10
-Requires-Dist: pycrdt<0.8.0,>=0.7.2
+Requires-Dist: asphalt
+Requires-Dist: pycrdt<0.9.0,>=0.8.11
 Requires-Dist: python-dateutil>=2.8.2
 Requires-Dist: txl
 Description-Content-Type: text/markdown

{txl_kernel-0.2.3 → txl_kernel-0.2.13}/pyproject.toml

@@ -23,8 +23,9 @@ classifiers = [
 ]
 dependencies = [
   "txl",
+  "asphalt",
   "python-dateutil >=2.8.2",
-  "pycrdt >=0.7.2,<0.8.0",
+  "pycrdt >=0.8.11,<0.9.0",
 ]
 dynamic = ["version"]
 

txl_kernel-0.2.13/txl_kernel/__init__.py

@@ -0,0 +1 @@
+__version__ = "0.2.13"

{txl_kernel-0.2.3 → txl_kernel-0.2.13}/txl_kernel/driver.py

@@ -2,6 +2,7 @@ import asyncio
 import time
 from typing import Dict
 
+from asphalt.core import Event, Signal
 from pycrdt import Array, Map
 
 from .message import create_message
@@ -31,7 +32,15 @@ class Comm:
         asyncio.create_task(self.send_message(msg, self.shell_channel, change_date_to_str=True))
 
 
+class BusyEvent(Event):
+    def __init__(self, source, topic, busy: bool):
+        super().__init__(source, topic)
+        self.busy = busy
+
+
 class KernelMixin:
+    busy = Signal(BusyEvent)
+
     def __init__(self):
         self.msg_cnt = 0
         self.execute_requests: Dict[str, Dict[str, asyncio.Queue]] = {}
@@ -89,6 +98,12 @@ class KernelMixin:
             elif msg_type == "comm_msg":
                 for comm_handler in self.comm_handlers:
                     comm_handler.comm_msg(msg)
+            elif msg_type == "status":
+                execution_state = msg["content"]["execution_state"]
+                if execution_state == "idle":
+                    self.busy.dispatch(False)
+                elif execution_state == "busy":
+                    self.busy.dispatch(True)
             msg_id = msg["parent_header"].get("msg_id")
             if msg_id in self.execute_requests:
                 # msg["header"] = str_to_date(msg["header"])

txl_kernel-0.2.3/txl_kernel/__init__.py

@@ -1 +0,0 @@
-__version__ = "0.2.3"