##// END OF EJS Templates
switch default ws_url logic to js side...
switch default ws_url logic to js side In some cases (proxies, #3305), the request object doesn't have the right information about the originating information. This changes the default behavior, so that `ws_url` is generally empty by default, which the javascript takes to mean 'the same as http'. This is simpler and should be more resilient than trying a guess on server-side.

File last commit:

r10110:30fce8a6
r10807:5a3c1c98
Show More
tokenize2.py
9 lines | 158 B | text/x-python | PythonLexer
"""Load our patched versions of tokenize.
"""
import sys
if sys.version_info[0] >= 3:
from _tokenize_py3 import *
else:
from _tokenize_py2 import *