I have updated unused_oids so it now shows the max system oid in the
display, rather than just a dash,
1 - 10100 - 1017548429491288 - 12951597 - 15991608 - 16101619 - 16391644 - 16991768 - 16383
The last line used to be:
1768 -
which was obviously confusing me and probably others.
-- Bruce Momjian | http://www.op.net/~candle maillist@candle.pha.pa.us | (610)
853-3000+ If your life is a hard drive, | 830 Blythe Avenue + Christ can be your backup. | Drexel Hill,
Pennsylvania19026