Stef,
> Can anyone give some advise on an elegant way to shut down
> the database properly. In my case, I don't worry or care
> if someone was still busy on the database, because nobody
> updates stuff.
$PGHOME/bin/pg_ctl -m fast stop
There was a bug with "fast" shutdown in pg_ctl in some versions of Postgres;
I'm not sure whether or not it's fixed in 7.3.1 but it certainly is fixed in
7.3.3.
--
Josh Berkus
Aglio Database Solutions
San Francisco