fix a bug in update_serverconfig