diff options
Diffstat (limited to 'bin/setsid')
-rwxr-xr-x | bin/setsid | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bin/setsid b/bin/setsid new file mode 100755 index 000000000..1be1e55c2 --- /dev/null +++ b/bin/setsid @@ -0,0 +1,10 @@ +#!/usr/bin/python -O +# Copyright 2009 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +import os +import sys + +os.setsid() +os.execl(sys.argv[1], *sys.argv[1:]) |