Kill wget if it takes too long

1 files changed, 14 insertions, 0 deletions

diff --git a/Code/killprocess.py b/Code/killprocess.py
new file mode 100644
index 0000000..d2237aa
--- /dev/null
+++ b/Code/killprocess.py
@@ -0,0 +1,14 @@
+import os, signal
+def kill_process(process_name):
+    try:
+        for line in os.popen('ps ax | grep ' + process_name + ' | grep -v grep'):
+            fields = line.split()
+            if fields[4] == process_name:
+                pid = fields[0]
+                os.kill(int(pid), signal.SIGKILL)
+        return True
+    except Exception as e:
+        print(f'{e}')
+        return False
+
+kill_process('sleep')