Lines Matching refs:SERVER
40 # Server settings
41 SERVER=${SERVER:=true}
68 echo "Usage : $0 [ start-server | stop-server | kill-server | list-server | server-log | server-stat ]"
73 stop-server)
74 echo "Stopping background server"
76 server-stat)
77 echo "Getting statistic from background server"
79 server-log)
80 echo "Log location of background server:"
83 kill-server)
84 echo "Killing background server"
87 echo "ERROR: No Jack server to kill" >&2
92 list-server)
95 start-server)
96 SERVER_PRG="$JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.server.JackSimpleServer"
97 echo "Launching Jack server" $SERVER_PRG
101 echo "Usage : $0 [ start-server | stop-server | kill-server | list-server | server-log | server-stat ]"
120 # Send command to Jack server
131 echo "ERROR: No Jack server running"
142 echo "ERROR: Security problem, see Jack server log" >&2
146 echo "ERROR: Bad request, see Jack server log" >&2
150 echo "ERROR: Internal unknown error ($HTTP_CODE), try other ports in ~/.jack, or see Jack server log" >&2
156 echo "ERROR: Communication error with Jack server ($CURL_CODE)" >&2
