Take server properties as options