HomeSort by relevance Sort by last modified time
    Searched refs:SERVER_PORT_ADMIN (Results 1 - 2 of 2) sorted by null

  /prebuilts/sdk/tools/
jack-admin 43 SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8073}
98 $SERVER_PRG $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT >>$SERVER_LOG 2>&1 &
123 HTTP_CODE=$(curl --fail --silent --output $JACK_EXIT --write-out %{http_code} --connect-timeout 5 --no-proxy 127.0.0.1:$SERVER_PORT_ADMIN http://127.0.0.1:$SERVER_PORT_ADMIN/$CMD)
jack 43 SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8073}
144 $SERVER_PRG $SERVER_PORT_SERVICE $SERVER_PORT_ADMIN $SERVER_COUNT $SERVER_NB_COMPILE $SERVER_TIMEOUT >>$SERVER_LOG 2>&1 &

Completed in 49 milliseconds