[#858] Use get() method of ServerConfig instead of accessing dict directly