erase_pid 188 B

123456789101112
  1. #!/bin/sh
  2. # Uncomment the following line to get debug info
  3. #set -x
  4. # Check args
  5. if [ ${#} -ne 0 ]; then
  6. echo "Usage: $(basename ${0})"
  7. exit 1
  8. fi
  9. rm -f /var/run/funkey.pid
  10. exit 0