diff options
Diffstat (limited to 'bin/setsid.py')
-rwxr-xr-x | bin/setsid.py | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/bin/setsid.py b/bin/setsid.py deleted file mode 100755 index 9771c677..00000000 --- a/bin/setsid.py +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/python -"""backport of util-linux' setsid -w to Debian wheezy""" -# replace with setsid from the util-linux package from jessie (stable) or wheezy-bpo - -import os -import sys - -if __name__ == "__main__": - assert len(sys.argv) > 1 - pid = os.fork() - if pid == 0: - os.setsid() - os.execvp(sys.argv[1], sys.argv[1:]) - else: - cpid, status = os.wait() - assert cpid == pid - sys.exit(os.WEXITSTATUS(status)) |