Searched refs:DEFAULT_WEB_SOCKET_SECURE_PORT (Results 1 – 5 of 5) sorted by relevance
82 return common.DEFAULT_WEB_SOCKET_SECURE_PORT
67 DEFAULT_WEB_SOCKET_SECURE_PORT = 443 variable
123 (secure and port != common.DEFAULT_WEB_SOCKET_SECURE_PORT)):982 options.server_port = common.DEFAULT_WEB_SOCKET_SECURE_PORT