small fix for server restart