what about _PG_fini

Hello dear hackers,

I wonder what is the future of "_PG_fini", documentation say at [1]:
"Note that _PG_fini will only be called during an unload of the file,
not during process termination. (Presently, unloads are disabled and
will never occur, but this may change in the future.)"

Since 8.2 it is the same and no entry in the TODO list for that, also
I didn't find mails about that in the pgsql-hackers ML archive.

So:
1. do we want a _PG_fini which is call on server stop ?
2. what's actually the best way to execute some code when server stop,
if one have ideas ... ?

Regards,
Cédric Villemain

[1] http://www.postgresql.org/docs/8.4/static/xfunc-c.html#XFUNC-C-DYNLOAD