[server] don’t use global ini file for server options