diff options
Diffstat (limited to '')
| -rwxr-xr-x | start-sim | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -78,7 +78,7 @@ case $(basename $0) in | |||
| 78 | if [ -e /var/run/opensim/${tgt}.pid ] | 78 | if [ -e /var/run/opensim/${tgt}.pid ] |
| 79 | then | 79 | then |
| 80 | # Double check if it's REALLY running. | 80 | # Double check if it's REALLY running. |
| 81 | if [ "x$(ps -p $(cat /var/run/opensim/sim90.pid) --no-headers -o comm)" = "x" ]; then | 81 | if [ "x$(ps -p $(cat /var/run/opensim/${tgt}.pid) --no-headers -o comm)" = "x" ]; then |
| 82 | $SUDO rm -f /var/run/opensim/${tgt}.pid | 82 | $SUDO rm -f /var/run/opensim/${tgt}.pid |
| 83 | fi | 83 | fi |
| 84 | fi | 84 | fi |
