Cast serverType option in examples