2011-03-26 20:27:08 +00:00
|
|
|
#!/usr/bin/env bash
|
2010-12-13 19:20:34 +00:00
|
|
|
|
|
|
|
usage() {
|
|
|
|
echo "Usage: $(basename $0) PORT CMDLINE"
|
|
|
|
echo
|
|
|
|
echo " PORT Port to wrap with WebSockets support"
|
|
|
|
echo " CMDLINE Command line to wrap"
|
|
|
|
exit 2
|
|
|
|
}
|
|
|
|
|
|
|
|
# Parameter defaults
|
2010-12-16 20:04:16 +00:00
|
|
|
mydir=$(readlink -f $(dirname ${0}))
|
2010-12-13 19:20:34 +00:00
|
|
|
|
|
|
|
# Process parameters
|
|
|
|
#while [ "${1}" != "${1#-}" ]; do
|
|
|
|
# param=$1; shift
|
|
|
|
#done
|
|
|
|
|
|
|
|
export WSWRAP_PORT="${1}"; shift
|
|
|
|
|
|
|
|
LD_PRELOAD=${mydir}/wswrapper.so "${@}"
|
|
|
|
|