Miscellaneous utilities

The following utilities exist which could be of use to the device server programmer :

1.

dbm_devdel device - delete a device and its resources from the database,

2.

dbm_devinfo device - check and report if a device is exported and print the name of the server if it is,

3.

dbm_fillup 0|1 - create the database and fill it from the contents of the resource files or a backup copy of the database (not supported at HartRAO yet) make sure you delete the database files in $(DBM_DIR)/* before running this command,

4.

dbm_servinfo server name - give information on all devices served by this server, the name is specified by the ``executable name''/``personal name''.