OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:JACK_HOME
(Results
1 - 3
of
3
) sorted by null
/prebuilts/sdk/tools/
jack-admin
26
JACK_HOME
="${
JACK_HOME
:=$HOME/.jack-server}"
32
LAUNCHER_JAR="$
JACK_HOME
/launcher.jar"
41
JACK_LOGS_DIR="$
JACK_HOME
"/logs
92
echo "Failed to contact Jack server: Problem reading ${
JACK_HOME
}/client.pem. Try 'jack-diagnose'" >&2
98
echo "Failed to contact Jack server: Problem reading ${
JACK_HOME
}/server.pem. Try 'jack-diagnose'" >&2
131
--cert "${
JACK_HOME
}/client.pem" \
132
--cacert "${
JACK_HOME
}/server.pem" \
155
--cert "${
JACK_HOME
}/client.pem" \
156
--cacert "${
JACK_HOME
}/server.pem"
[
all
...]
jack-diagnose
24
JACK_HOME
="${
JACK_HOME
:=$HOME/.jack-server}"
28
LAUNCHER_JAR="$
JACK_HOME
/launcher.jar"
37
JACK_LOGS_DIR="$
JACK_HOME
"/logs
141
echo "Port $1 is used by another process (pid=$(echo $PS_OUT | awk '{print $1}')), please ensure to free the port or change port configuration in '$CLIENT_SETTING' and '$
JACK_HOME
/config.properties'"
146
echo "Port $1 is used b a Jack server from another user uid=$(echo $PS_OUT | awk '{print $2}'), please change port configuration in '$CLIENT_SETTING' and '$
JACK_HOME
/config.properties'"
jack
26
JACK_HOME
="${
JACK_HOME
:=$HOME/.jack-server}"
127
--cert "${
JACK_HOME
}/client.pem" \
128
--cacert "${
JACK_HOME
}/server.pem" \
155
echo "Failed to contact Jack server: Problem reading ${
JACK_HOME
}/client.pem. Try 'jack-diagnose'" >&2
161
echo "Failed to contact Jack server: Problem reading ${
JACK_HOME
}/server.pem. Try 'jack-diagnose'" >&2
Completed in 120 milliseconds