fixes in ServerCommandManager and ServerConfigurationManager