record_pid 198 B

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