ObjWeb  Help: test-database-names

The "test-database-names" command:

Print the names of the various database files: (1) The main repository database (2) The local check-out database (3) The global configuration database