From c58196dad8a854be6352ded10614f590ccb9e66c Mon Sep 17 00:00:00 2001 From: Sebastian Lenzlinger <74497638+sebaschi@users.noreply.github.com> Date: Wed, 7 Jun 2023 18:45:04 +0200 Subject: [PATCH] Accidentally converted to str. now convert to int. --- src/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/utils.py b/src/utils.py index 67e12bb..65db448 100755 --- a/src/utils.py +++ b/src/utils.py @@ -119,7 +119,7 @@ def kill_process(pid): pid (str): Process ID of process to kill """ try: - os.kill(str(pid), signal.SIGKILL) # pid apparently arrives as string + os.kill(int(pid), signal.SIGKILL) # pid apparently arrives as string except ProcessLookupError: print("[-] Process {} not found.".format(pid))