|
|
@@ -30,6 +30,18 @@ then |
|
|
|
wpullPid=${pids[0]} |
|
|
|
fi |
|
|
|
|
|
|
|
if ! command -v lsof >/dev/null 2>&1 |
|
|
|
then |
|
|
|
echo "Error: could not find lsof" |
|
|
|
exit 1 |
|
|
|
fi |
|
|
|
|
|
|
|
if ! command -v gdb >/dev/null 2>&1 |
|
|
|
then |
|
|
|
echo "Error: could not find gdb" |
|
|
|
exit 1 |
|
|
|
fi |
|
|
|
|
|
|
|
if ! kill -0 ${wpullPid} >/dev/null 2>&1 |
|
|
|
then |
|
|
|
echo "Error: no process with PID ${wpullPid}" |
|
|
|