The server is unable to automatically update device configuration file. No files were identified using the DEVCONFIG option in the server options file.
Server operation continues.
If you would like to have the server automatically record device configuration information to assist in server recovery, use the DEVCONFIG option in the server options file to specify where device configuration information should be written. If you update the options file, halt and then restart the server so the changes can take effect.