Change pgrestart.sh so that it can start the server even when
it's not running.