fix: 'LogRecord' format

src/common/jsonrpc2/server.py

@@ -88,7 +88,11 @@ class History(logging.Handler):
         self.records = []
 
     def emit(self, record):
-        self.records.append(vars(record))
+        keys = set(['name', 'levelno', 'levelname', 'msg', 'exc_text', 'stack_info', 'created'])
+        values = vars(record)
+        values['msg'] %= values['args']
+        result = { key: values[key] for key in keys }
+        self.records.append(result)
 
     def truncate(self) -> list:
         copy = self.records.copy()
@@ -151,13 +155,10 @@ async def handler(request: ws.WebSocketRequest):
         if mid is not None: await connection.send_message(str(Response(mid, err or res)))
 
 async def backend(options: Options):
-    import _thread as t
     global server
-
     listeners = await trio.open_tcp_listeners(port=options.port, host=options.listen)
     server = ws.WebSocketServer(handler, listeners, max_message_size=options.max_message_size)
     await server.run()
-    t.interrupt_main()
 
 def define(method: str, handler: Callable[..., Any]):
     if method in handlers: raise KeyError()