Server: Minor code-stylistic changes in configfile library.