diff --git a/scripts/kill_pid.py b/scripts/kill_pid.py deleted file mode 100644 index c373b6568e..0000000000 --- a/scripts/kill_pid.py +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/python3 -from __future__ import print_function -import sys -import psutil -import time - -import irods.lib - -if(__name__ == '__main__'): - irods.lib.kill_pid(int(sys.argv[1])) - print('done')