make getpeername() return the original socket address which before it was intercepted

[hband-tools.git] / user-tools / withpidfile

#!/bin/sh

if [ $# -lt 2 ]
then
        echo "Usage: withpidfile <PIDFILE> <COMMAND> [<ARGS>]" >&2
        exit 1
fi

set -e

echo $$ > "$1"
shift
exec "$@"