diff options
-rwxr-xr-x | jack/etc/jack | 9 | ||||
-rwxr-xr-x | jack/etc/jack-admin | 10 |
2 files changed, 17 insertions, 2 deletions
diff --git a/jack/etc/jack b/jack/etc/jack index a831e33..12fdad5 100755 --- a/jack/etc/jack +++ b/jack/etc/jack @@ -147,7 +147,14 @@ while true; do else let RETRY_LAUNCH=RETRY_LAUNCH-1 echo "Launching background server" $JACK_SERVER_COMMAND - $JACK_SERVER_COMMAND $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT & + ( + trap "" SIGHUP + for i in $(seq 3 255); do + eval exec "$i"'>&-' + done + exec $JACK_SERVER_COMMAND $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT + exit 255 + ) >>$JACK_CLIENT_LOG 2>>$JACK_CLIENT_LOG & # New server, let's try a bit to connect let DATE_CONNECT=$(date +%s)+$DELAY_CONNECT; fi diff --git a/jack/etc/jack-admin b/jack/etc/jack-admin index 7f3d396..af5bf20 100755 --- a/jack/etc/jack-admin +++ b/jack/etc/jack-admin @@ -25,6 +25,7 @@ umask 077 LOCAL_SETTING="$HOME/.jack" TMPDIR=${TMPDIR:=/tmp} SERVER_DIR=$TMPDIR/jack-$USER +JACK_CLIENT_LOG=${JACK_CLIENT_LOG:="$SERVER_DIR/client.log"} # # Load local settings @@ -97,7 +98,14 @@ case $1 in JACK_SERVER_COMMAND="java -Djava.io.tmpdir=$TMPDIR -cp $JACK_JAR com.android.jack.server.JackSimpleServer" fi echo "Launching Jack server" $JACK_SERVER_COMMAND - $JACK_SERVER_COMMAND $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT & + ( + trap "" SIGHUP + for i in $(seq 3 255); do + eval exec "$i"'>&-' + done + exec $JACK_SERVER_COMMAND $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT + exit 255 + ) >>$JACK_CLIENT_LOG 2>>$JACK_CLIENT_LOG & exit 0 ;; *) echo "Usage : $0 [ start-server | stop-server | kill-server | list-server | server-stat ]" |