Name for new VACUUM

I was thinking about our new version of vacuum.  I think it should be
called VACUUM NOLOCK to make it clear when you should use it, and we can
keep our ordinary VACUUM the same.

If you want to get fancy, we can call our traditional vacuum VACUUM LOCK
and have a GUC parameter that controls what VACUUM without
LOCK/NOLOCK does.

--  Bruce Momjian                        |  http://candle.pha.pa.us pgman@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