From da07699d804cf52cee2d5d637275149ea183a8e0 Mon Sep 17 00:00:00 2001
From: Renan Rodrigues dos Santos <renan.engmec@gmail.com>
Date: Wed, 17 Apr 2024 15:22:53 +0000
Subject: [PATCH] fix: mypy

---
 src/pixi_kernel/__main__.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/pixi_kernel/__main__.py b/src/pixi_kernel/__main__.py
index 081a264..ad4e349 100644
--- a/src/pixi_kernel/__main__.py
+++ b/src/pixi_kernel/__main__.py
@@ -6,6 +6,7 @@
 import sys
 import typing
 from pathlib import Path
+from types import FrameType
 
 from ipykernel.ipkernel import IPythonKernel
 from ipykernel.kernelapp import IPKernelApp
@@ -64,16 +65,17 @@ def main() -> None:
 
     logger.info(f"launching {kernel_display_name} kernel with {args}")
 
-    if platform.system() == "Windows":
+    if sys.platform == "win32":
         process = subprocess.Popen(args, env=env)
 
         forward_signals = set(signal.Signals) - {
             signal.CTRL_BREAK_EVENT,
             signal.CTRL_C_EVENT,
+            signal.SIGBREAK,
             signal.SIGTERM,
         }
 
-        def handle_signal(sig, frame):
+        def handle_signal(sig: int, frame: FrameType | None) -> None:
             process.send_signal(sig)
 
         for sig in forward_signals: