fix a couple types

This commit is contained in:
marios8543
2023-11-14 00:34:48 +02:00
parent 70532c8d0b
commit 8b0d1753ef
3 changed files with 8 additions and 6 deletions
+3 -2
View File
@@ -82,7 +82,7 @@ class Utilities:
context.ws.add_route("utilities/get_tab_id", self.get_tab_id)
context.ws.add_route("utilities/get_user_info", self.get_user_info)
async def _handle_server_method_call(self, request):
async def _handle_server_method_call(self, request: web.Request):
method_name = request.match_info["method_name"]
try:
args = await request.json()
@@ -182,7 +182,8 @@ class Utilities:
style.parentNode.removeChild(style);
}})()
""", False)
assert result
if "exceptionDetails" in result["result"]:
raise result["result"]["exceptionDetails"]