eb81a1e963
This commit adds code to register taskmanager as a fake endpoint. This allows the fake daemon to work again. Fixes bug 1238901 Change-Id: Icb7c97cad3d76dc36a38126eb7f8b5929dc0d591
17 lines
325 B
Bash
Executable File
17 lines
325 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Arguments: if given the first argument is the location of a pid file.
|
|
if [ $# -lt 1 ]; then
|
|
export PID_FILE=".pid"
|
|
else
|
|
export PID_FILE=$1
|
|
fi
|
|
if [ -f $PID_FILE ];
|
|
then
|
|
cat $PID_FILE
|
|
kill `cat $PID_FILE`
|
|
echo "Stopping server."
|
|
rm $PID_FILE
|
|
else
|
|
echo "pid file not found."
|
|
fi
|