- fixed a bug when loading server properties