#!/bin/bash # # Copyright (C) 2015 The Android Open Source Project # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at # # http://www.apache.org/licenses/LICENSE-2.0 # # Unless required by applicable law or agreed to in writing, software # distributed under the License is distributed on an "AS IS" BASIS, # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # See the License for the specific language governing permissions and # limitations under the License. # # Version: 1.1-mr2 # set -o nounset umask 077 # # Settings # LOCAL_SETTING="$HOME/.jack" TMPDIR=${TMPDIR:=/tmp} SERVER_DIR=$TMPDIR/jack-$USER # # Load local settings # source "$LOCAL_SETTING" 2>/dev/null # # Create or update local settings if needed # if [[ ! -f "$LOCAL_SETTING" || $SETTING_VERSION -lt 2 ]]; then echo "Writing local settings in" $LOCAL_SETTING cat >"$LOCAL_SETTING.$$" <<-EOT # Server settings SERVER=${SERVER:=true} SERVER_PORT_SERVICE=${SERVER_PORT_SERVICE:=8072} SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8073} SERVER_COUNT=${SERVER_COUNT:=1} SERVER_NB_COMPILE=${SERVER_NB_COMPILE:=4} SERVER_TIMEOUT=${SERVER_TIMEOUT:=60} SERVER_LOG=\${SERVER_LOG:=\$SERVER_DIR/jack-\$SERVER_PORT_SERVICE.log} JACK_VM_COMMAND=\${JACK_VM_COMMAND:=java} # Internal, do not touch SETTING_VERSION=2 EOT ln -f "$LOCAL_SETTING.$$" "$LOCAL_SETTING" rm "$LOCAL_SETTING.$$" source "$LOCAL_SETTING" fi # # If not in server mode, exec jack # if [ "$SERVER" != "true" ]; then exec $JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.Main "$@" echo "ERROR: Cannot succeed to launch Jack without Jack server" >&2 exit 255 fi # # Static setting # SERVER_PRG="$JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.server.JackSimpleServer" # # Prepare compilation # JACK_DIR="$SERVER_DIR/jack-task-$$/" JACK_OUT="$JACK_DIR/out" JACK_ERR="$JACK_DIR/err" JACK_CLI="$JACK_DIR/cli" JACK_EXIT="$JACK_DIR/exit" JACK_PWD="$PWD" mkdir "$SERVER_DIR" 2>/dev/null # Cleanup trap 'rm -f "$JACK_OUT" "$JACK_ERR" "$JACK_CLI" "$JACK_EXIT" 2>>$SERVER_LOG; rmdir "$JACK_DIR" 2>>$SERVER_LOG' EXIT set -o errexit # Create fifos and files for a task rm -rf "$JACK_DIR" mkdir "$JACK_DIR" mkfifo "$JACK_OUT" mkfifo "$JACK_ERR" touch "$JACK_CLI" "$JACK_EXIT" # Try to cleanup if interrupted abort () { echo $(uptime) >>$SERVER_LOG; kill -9 $PID_OUT $PID_ERR 2>>$SERVER_LOG; wait $PID_OUT $PID_ERR 2>>$SERVER_LOG; exit 255; } trap 'abort' SIGHUP SIGINT SIGQUIT SIGTERM ERR # Redirect output and error cat <"$JACK_OUT" >&1 & PID_OUT=$! cat <"$JACK_ERR" >&2 & PID_ERR=$! # Prepare the working directory and command line echo -n \"$PWD\" "" >"$JACK_CLI" for i in "$@"; do echo -n \"$i\" "" >>"$JACK_CLI" done echo >>"$JACK_CLI" # # Launch the compilation # set +o errexit trap ERR RETRY_LAUNCH=1 RETRY_SESSION=3 DELAY_CONNECT=30 # Launch compilation DATE_CONNECT=$(date +%s) while true; do CURL_TIME=$(date +%H:%M:%S) HTTP_CODE=$(curl --fail --silent --data @- --output "$JACK_EXIT" --write-out %{http_code} --connect-timeout 10 --no-proxy 127.0.0.1:$SERVER_PORT_SERVICE http://127.0.0.1:$SERVER_PORT_SERVICE/jack <<< "+ $JACK_OUT $JACK_ERR $JACK_CLI") CURL_CODE=$? JACK_CODE=$(cat "$JACK_EXIT") echo "CURL: $$ - $CURL_TIME - $CURL_CODE - $HTTP_CODE - $JACK_CODE" >>$SERVER_LOG if [ $CURL_CODE -eq 0 ]; then # No problem, let's go break; elif [ $CURL_CODE -eq 7 ]; then # Failed to connect if [ $(date +%s) -ge $DATE_CONNECT ]; then if [ $RETRY_LAUNCH -eq 0 ]; then echo "ERROR: Cannot launch Jack server" >&2 abort else let RETRY_LAUNCH=RETRY_LAUNCH-1 echo "Launching background server" $SERVER_PRG $SERVER_PRG $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT >>$SERVER_LOG 2>&1 & # New server, let's try a bit to connect let DATE_CONNECT=$(date +%s)+$DELAY_CONNECT; fi else sleep 0.2 2>/dev/null fi # Trying with a new connection, let's retry session 3 times max RETRY_SESSION=3 elif [ $CURL_CODE -eq 22 ]; then # Http code not OK, let's decode and abort if [ $HTTP_CODE -eq 401 ]; then # 401: Unauthorized echo "ERROR: Security problem, see Jack server log ($SERVER_LOG)" >&2 abort elif [ $HTTP_CODE -eq 400 ]; then # 400: Bad request echo "ERROR: Bad request, see Jack server log ($SERVER_LOG)" >&2 abort else # Other echo "ERROR: Internal unknown error ($HTTP_CODE), try other ports in ~/.jack, or see Jack server log ($SERVER_LOG)" >&2 abort fi else # In case of partial, timeout, empty respond, network error, let's retry if [ $RETRY_SESSION -eq 0 ]; then echo "ERROR: Communication error with Jack server ($CURL_CODE)" >&2 abort else let RETRY_SESSION=RETRY_SESSION-1 fi fi done # Wait for termination wait $PID_OUT wait $PID_ERR # Exit exit $JACK_CODE