Fixing some stuff

apps/dashboard/xaal/dashboard/app.py

-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)