Constant DEFAULT_HTTP_PORT 

pub const DEFAULT_HTTP_PORT: u16 = 15002;

Default REST port (matches ServerConfig::default() in the server crate).