Lines Matching refs:appJavaPid
34 # appJavaPid - application's Java pid
35 # appOtherPid - pid associated with the app other than appJavaPid
47 appJavaPid="$!"
49 appPidList="$appJavaPid"
69 appOtherPid="$appJavaPid"
72 appJavaPid=`ps -p "$appOtherPid" \
89 echo "INFO: Cygwin pid=$appOtherPid maps to Windows pid=$appJavaPid"
92 appJavaPid=`ps -o pid,ppid,comm \
108 echo "INFO: MKS shell pid=$appOtherPid; Java pid=$appJavaPid"
111 if [ -z "$appJavaPid" ]; then
116 appPidList="$appOtherPid $appJavaPid"
119 echo "INFO: $1 is process $appJavaPid"
143 echo "INFO: waiting for $appJavaPid"
145 wait "$appJavaPid"
157 echo "INFO: waiting for $appJavaPid"
159 # appJavaPid can be empty if pid search in startApplication() failed
160 if [ -n "$appJavaPid" ]; then
163 wait "$appJavaPid"
177 echo "INFO: killing $appJavaPid"
179 kill -TERM "$appJavaPid" # try a polite SIGTERM first
183 kill -QUIT "$appJavaPid" > /dev/null 2>&1
184 wait "$appJavaPid"
202 # appJavaPid can be empty if pid search in startApplication() failed
203 if [ -n "$appJavaPid" ]; then
206 wait "$appJavaPid"