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 61 SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8077}
139 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/$1 \
162 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/server \
199 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/server \
229 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/$1 \
339 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/$2 \
368 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/server/stop \
385 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/stat \
401 https://${SERVER_HOST}:$SERVER_PORT_ADMIN/launcher/log
    [all...]
jack 49 SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8077}

Completed in 273 milliseconds