run db_stop at end of after-install
check if $PIDFILE exists before using it