pgadmin.rc 824 B

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. #!/bin/sh
  2. # Start script for FreeBSD, contributed by user Fabian Abplanalp
  3. # Put this script in /usr/local/etc/rc.d then adjust PGADMIN_BIN and
  4. # PGADMIN_CFG values in /etc/defaults/pgadmin4
  5. export PGADMIN_CONFIG_DEFAULT_SERVER=0.0.0.0
  6. PGADMIN_BIN="/usr/local/bin/pgadmin4"
  7. PGADMIN_PID="/var/run/pgadmin4.pid"
  8. # Read configuration variable file if it is present
  9. [ -r /etc/defaults/pgadmin4 ] && . /etc/defaults/pgadmin4
  10. case "$1" in
  11. "start")
  12. echo "Starting pgadmin4..."
  13. ${PGADMIN_BIN} &
  14. echo $! >${PGADMIN_PID}
  15. echo "done"
  16. ;;
  17. "stop")
  18. echo "Stopping pgadmin4..."
  19. if [ -f ${PGADMIN_PID} ]; then
  20. kill $(cat ${PGADMIN_PID})
  21. rm ${PGADMIN_PID}
  22. echo "done"
  23. else
  24. echo "not running?"
  25. fi
  26. ;;
  27. "restart")
  28. echo "Restarting pgadmin4..."
  29. $0 stop
  30. sleep 2
  31. $0 start
  32. ;;
  33. *)
  34. echo "$0 [start|stop|restart]"
  35. ;;
  36. esac