next up previous contents
Next: Starting and Stopping the Up: The Resource Database Previous: Examining the database

Miscellaneous utilities

The following utilities exist which could be of use to the device server programmer :
dbm_devdel device - delete a device and its resources from the database,
dbm_devinfo device - check and report if a device is exported and print the name of the server if it is,
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,
dbm_servinfo server name - give information on all devices served by this server, the name is specified by the ``executable name''/``personal name''.

Mike Gaylard