From 440365bb424e33c69ad1aafe3c3faa96cbc43043 Mon Sep 17 00:00:00 2001 From: Timo Ewalds Date: Fri, 12 May 2023 10:33:10 +0100 Subject: Fix a few errors found by pytype. (#906) * Fix pytype error: File "websocket/_wsdump.py", line 107, in : Overriding method signature mismatch [signature-mismatch] Base signature: 'def code.InteractiveConsole.raw_input(self, prompt: str = ...) -> str'. Subclass signature: 'def RawInput.raw_input(self, prompt) -> Any'. Parameter 'prompt' must have a default value. * Fix pytype error: File "websocket/tests/echo-server.py", line 18, in main: Function Serve.__init__ was called with the wrong arguments [wrong-arg-types] Expected: (self, ws_handler, host, port: Optional[int] = ..., ...) Actually passed: (self, ws_handler, host, port: str) * Fix undefined variable error found by pytype: File "compliance/test_fuzzingclient.py", line 57, in : Name 'case' is not defined [name-error] --- websocket/tests/echo-server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'websocket/tests') diff --git a/websocket/tests/echo-server.py b/websocket/tests/echo-server.py index 08d108a..42dd9e4 100644 --- a/websocket/tests/echo-server.py +++ b/websocket/tests/echo-server.py @@ -6,7 +6,7 @@ import asyncio import websockets import os -LOCAL_WS_SERVER_PORT = os.environ.get('LOCAL_WS_SERVER_PORT', '8765') +LOCAL_WS_SERVER_PORT = int(os.environ.get('LOCAL_WS_SERVER_PORT', '8765')) async def echo(websocket, path): -- cgit v1.2.1