From dd30b616584c4445a84c2e04afe0f07cadf81191 Mon Sep 17 00:00:00 2001 From: Mike Salvatore Date: Fri, 12 Aug 2022 10:50:23 -0400 Subject: [PATCH] Island: Add missing type hint to _configure_gevent_exception_handling() --- monkey/monkey_island/cc/server_setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/monkey/monkey_island/cc/server_setup.py b/monkey/monkey_island/cc/server_setup.py index c3e56a477..73b6997ec 100644 --- a/monkey/monkey_island/cc/server_setup.py +++ b/monkey/monkey_island/cc/server_setup.py @@ -149,7 +149,7 @@ def _start_island_server( http_server.serve_forever() -def _configure_gevent_exception_handling(data_dir): +def _configure_gevent_exception_handling(data_dir: Path): hub = gevent.hub.get_hub() gevent_exception_log = open(data_dir / GEVENT_EXCEPTION_LOG, "w+", buffering=1)