From 4b57fee2e3ae8579ff5592cd850f15b0a3410e58 Mon Sep 17 00:00:00 2001
From: jkerdreux-imt <jerome.kerdreux@imt-atlantique.fr>
Date: Wed, 4 Dec 2024 01:40:21 +0100
Subject: [PATCH] Fixing some stuff

---
 apps/dashboard/xaal/dashboard/app.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/apps/dashboard/xaal/dashboard/app.py b/apps/dashboard/xaal/dashboard/app.py
index 141d239c..0f035286 100644
--- a/apps/dashboard/xaal/dashboard/app.py
+++ b/apps/dashboard/xaal/dashboard/app.py
@@ -1,4 +1,3 @@
-from email.policy import default
 from gevent import monkey; monkey.patch_all(thread=False)
 from gevent.pywsgi import WSGIServer
 from geventwebsocket.handler import WebSocketHandler
@@ -47,7 +46,7 @@ def run():
 
 def stop():
     global server
-    server.stop()
+    server.stop() # pyright: ignore
 
 def main():
     # This apps can run with gevent alone (without asyncio)   
-- 
GitLab