From 6e9f236c08e7db022a84cddf717da66ea56db17b Mon Sep 17 00:00:00 2001 From: Sebastian Lenzlinger <74497638+sebaschi@users.noreply.github.com> Date: Wed, 7 Jun 2023 18:28:23 +0200 Subject: [PATCH] DEBUG --- src/utils.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/utils.py b/src/utils.py index cabaf39..de88229 100755 --- a/src/utils.py +++ b/src/utils.py @@ -116,10 +116,10 @@ def kill_process(pid): Kill single process. Args: - pid (int): Process ID of process to kill + pid (): Process ID of process to kill # TODO: check if pid is int """ try: - os.kill(int(pid), signal.SIGKILL) + os.kill(pid, signal.SIGKILL) except ProcessLookupError: print("[-] Process {} not found.".format(pid))