if [ $(ps -o sess= --pid $$) -ne $$ ]; then # If we are not the session leader...
	exec setsid "$0" "$@"               # Become it.
fi