bin/setsid


1
2
3
4
5
6
7
8
9
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:])