mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | # |
| 3 | # Copyright (C) 2015 The Android Open Source Project |
| 4 | # |
| 5 | # Licensed under the Apache License, Version 2.0 (the "License"); |
| 6 | # you may not use this file except in compliance with the License. |
| 7 | # You may obtain a copy of the License at |
| 8 | # |
| 9 | # http://www.apache.org/licenses/LICENSE-2.0 |
| 10 | # |
| 11 | # Unless required by applicable law or agreed to in writing, software |
| 12 | # distributed under the License is distributed on an "AS IS" BASIS, |
| 13 | # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 14 | # See the License for the specific language governing permissions and |
| 15 | # limitations under the License. |
| 16 | # |
Benoit Lamarche | 4b541e7 | 2015-04-21 22:02:56 +0200 | [diff] [blame^] | 17 | # v 1.1-a11-log |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 18 | # |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 19 | set -o nounset |
| 20 | umask 077 |
| 21 | |
| 22 | # |
| 23 | # Settings |
| 24 | # |
| 25 | LOCAL_SETTING="$HOME/.jack" |
| 26 | TMPDIR=${TMPDIR:=/tmp} |
| 27 | SERVER_DIR=$TMPDIR/jack-$USER |
| 28 | |
| 29 | # |
| 30 | # Load local settings |
| 31 | # |
| 32 | source "$LOCAL_SETTING" 2>/dev/null |
| 33 | |
| 34 | # |
| 35 | # Create or update local settings if needed |
| 36 | # |
| 37 | if [[ ! -f "$LOCAL_SETTING" || $SETTING_VERSION -lt 2 ]]; then |
| 38 | echo "Writing local settings in" $LOCAL_SETTING |
| 39 | cat >"$LOCAL_SETTING.$$" <<-EOT |
| 40 | # Server settings |
| 41 | SERVER=${SERVER:=true} |
| 42 | SERVER_PORT_SERVICE=${SERVER_PORT_SERVICE:=8072} |
| 43 | SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8073} |
| 44 | SERVER_COUNT=${SERVER_COUNT:=1} |
| 45 | SERVER_NB_COMPILE=${SERVER_NB_COMPILE:=4} |
| 46 | SERVER_TIMEOUT=${SERVER_TIMEOUT:=60} |
| 47 | SERVER_LOG=\${SERVER_LOG:=\$SERVER_DIR/jack-\$SERVER_PORT_SERVICE.log} |
| 48 | JACK_VM_COMMAND=\${JACK_VM_COMMAND:=java} |
| 49 | # Internal, do not touch |
| 50 | SETTING_VERSION=2 |
| 51 | EOT |
| 52 | ln -f "$LOCAL_SETTING.$$" "$LOCAL_SETTING" |
| 53 | rm "$LOCAL_SETTING.$$" |
| 54 | source "$LOCAL_SETTING" |
| 55 | fi |
| 56 | |
| 57 | # |
| 58 | # If not in server mode, exec jack |
| 59 | # |
| 60 | if [ "$SERVER" != "true" ]; then |
Yohann Roussel | 30b5f31 | 2015-04-16 18:19:35 +0200 | [diff] [blame] | 61 | exec $JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.Main "$@" |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 62 | echo "Cannot succeed to launch Jack" >&2 |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 63 | exit 255 |
| 64 | fi |
| 65 | |
| 66 | # |
| 67 | # Static setting |
| 68 | # |
| 69 | SERVER_PRG="$JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.server.JackSimpleServer" |
| 70 | |
| 71 | # |
| 72 | # Prepare compilation |
| 73 | # |
| 74 | JACK_DIR="$SERVER_DIR/jack-task-$$/" |
| 75 | JACK_OUT="$JACK_DIR/out" |
| 76 | JACK_ERR="$JACK_DIR/err" |
| 77 | JACK_CLI="$JACK_DIR/cli" |
| 78 | JACK_EXIT="$JACK_DIR/exit" |
| 79 | JACK_PWD="$PWD" |
| 80 | |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 81 | mkdir "$SERVER_DIR" 2>/dev/null |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 82 | |
| 83 | # Cleanup |
Benoit Lamarche | 4b541e7 | 2015-04-21 22:02:56 +0200 | [diff] [blame^] | 84 | trap 'rm -f "$JACK_OUT" "$JACK_ERR" "$JACK_CLI" "$JACK_EXIT" 2>>$SERVER_LOG; rmdir "$JACK_DIR" 2>>$SERVER_LOG' EXIT |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 85 | |
| 86 | set -o errexit |
| 87 | |
| 88 | # Create fifos and files for a task |
| 89 | mkdir "$JACK_DIR" |
| 90 | mkfifo "$JACK_OUT" |
| 91 | mkfifo "$JACK_ERR" |
| 92 | touch "$JACK_CLI" "$JACK_EXIT" |
| 93 | |
| 94 | # Try to cleanup if interrupted |
Benoit Lamarche | 4b541e7 | 2015-04-21 22:02:56 +0200 | [diff] [blame^] | 95 | abort () { kill -9 $PID_OUT $PID_ERR 2>>$SERVER_LOG; wait $PID_OUT $PID_ERR 2>>$SERVER_LOG; exit 255; } |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 96 | trap 'abort' SIGHUP SIGINT SIGQUIT SIGTERM ERR |
| 97 | |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 98 | # Redirect output and error |
| 99 | cat <"$JACK_OUT" >&1 & |
| 100 | PID_OUT=$! |
| 101 | cat <"$JACK_ERR" >&2 & |
| 102 | PID_ERR=$! |
| 103 | |
| 104 | # Prepare the working directory and command line |
| 105 | echo -n \"$PWD\" "" >"$JACK_CLI" |
| 106 | for i in "$@"; do |
| 107 | echo -n \"$i\" "" >>"$JACK_CLI" |
| 108 | done |
| 109 | echo >>"$JACK_CLI" |
| 110 | |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 111 | # |
| 112 | # Launch the compilation |
| 113 | # |
| 114 | |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 115 | set +o errexit |
| 116 | trap ERR |
| 117 | |
| 118 | RETRY_LAUNCH=3 |
| 119 | RETRY_SESSION=3 |
| 120 | DELAY_CONNECT=3 |
| 121 | |
| 122 | |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 123 | # Launch compilation |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 124 | DATE_CONNECT=$(date +%s) |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 125 | while true; do |
Jean-Marie Henaff | 8bfc194 | 2015-04-17 16:32:26 +0200 | [diff] [blame] | 126 | 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") |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 127 | CURL_CODE=$? |
| 128 | JACK_CODE=$(cat "$JACK_EXIT") |
Benoit Lamarche | 4b541e7 | 2015-04-21 22:02:56 +0200 | [diff] [blame^] | 129 | echo "CURL: $$ - $CURL_CODE - $HTTP_CODE - $JACK_CODE" >>$SERVER_LOG |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 130 | if [ $CURL_CODE -eq 0 ]; then |
| 131 | # No problem, let's go |
| 132 | break; |
| 133 | elif [ $CURL_CODE -eq 7 ]; then |
| 134 | # Failed to connect |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 135 | if [ $(date +%s) -ge $DATE_CONNECT ]; then |
| 136 | if [ $RETRY_LAUNCH -eq 0 ]; then |
| 137 | echo "Cannot launch background server" >&2 |
| 138 | abort |
| 139 | else |
| 140 | let RETRY_LAUNCH=RETRY_LAUNCH-1 |
| 141 | echo "Launching background server" $SERVER_PRG |
| 142 | $SERVER_PRG $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT >>$SERVER_LOG 2>&1 & |
| 143 | # New server, let's try a bit to connect |
| 144 | let DATE_CONNECT=$(date +%s)+$DELAY_CONNECT; |
| 145 | fi |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 146 | else |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 147 | sleep 0.2 2>/dev/null |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 148 | fi |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 149 | # Trying with a new connection, let's retry session 3 times max |
| 150 | RETRY_SESSION=3 |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 151 | elif [ $CURL_CODE -eq 22 ]; then |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 152 | # Http code not OK, let's decode and abort |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 153 | if [ $HTTP_CODE -eq 401 ]; then |
| 154 | # 401: Unauthorized |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 155 | echo "Security problem, see server log ($SERVER_LOG)" >&2 |
| 156 | abort |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 157 | elif [ $HTTP_CODE -eq 400 ]; then |
| 158 | # 400: Bad request |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 159 | echo "Bad request, see server log ($SERVER_LOG)" >&2 |
| 160 | abort |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 161 | else |
| 162 | # Other |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 163 | echo "Internal unknown error ($HTTP_CODE), try other ports in ~/.jack, or see server log ($SERVER_LOG)" >&2 |
| 164 | abort |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 165 | fi |
| 166 | else |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 167 | # In case of partial, timeout, empty respond, network error, let's retry |
| 168 | if [ $RETRY_SESSION -eq 0 ]; then |
| 169 | echo "Communication error with server ($CURL_CODE)" >&2 |
| 170 | abort |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 171 | else |
Yohann Roussel | 1b697cb | 2015-04-15 15:01:33 +0200 | [diff] [blame] | 172 | let RETRY_SESSION=RETRY_SESSION-1 |
mikaelpeltier | 4d1fcc4 | 2015-04-07 11:15:06 +0200 | [diff] [blame] | 173 | fi |
| 174 | fi |
| 175 | done |
| 176 | |
| 177 | # Wait for termination |
| 178 | wait $PID_OUT |
| 179 | wait $PID_ERR |
| 180 | |
| 181 | # Exit |
| 182 | exit $JACK_CODE |