DEFAULT_TOOL_PORT top-level constant

int const DEFAULT_TOOL_PORT

Implementation

const int DEFAULT_TOOL_PORT = 17001;