Browse Source

Merge pull request #909 from cedarlug/development

Fixing the issue when the process id vanishes.
pull/923/head
Daniel Gibbs 9 years ago
committed by GitHub
parent
commit
0229065fdf
  1. 1
      lgsm/functions/command_stop.sh

1
lgsm/functions/command_stop.sh

@ -180,6 +180,7 @@ fn_stop_ark(){
rev | cut -d\/ -f1)
#
# check for a valid pid
pid=${pid//[!0-9]/}
let pid+=0 # turns an empty string into a valid number, '0',
# and a valid numeric pid remains unchanged.
if [[ $pid -gt 1 && $pid -le $(cat /proc/sys/kernel/pid_max) ]] ; then

Loading…
Cancel
Save