blob: 1be1e55c201c22479bad4501517395b65e5f00ba (
plain)
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:])
|