##// END OF EJS Templates
use single WebSocket connection for all channels...
use single WebSocket connection for all channels multiplex on a 'channel' key in message, rather than separate websockets. Unlike zmq, there aren't different message patterns that require the channels to be separate. Reduces FD count by factor of 3 and connection complexity in js.

File last commit:

r19287:96eaaf4c
r19824:17ebfc54
Show More
highlight-refs.less
5 lines | 228 B | text/x-less | LessCssLexer
/* load the codemirror defaults as LESS so that highlight.less
can load default theme declarations by reference without pulling in the
nasty positioning
*/
@import (less) "../../components/codemirror/lib/codemirror.css";