##// 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:

r19648:ac31ebae
r19824:17ebfc54
Show More
style.less
33 lines | 545 B | text/x-less | LessCssLexer
/*!
*
* Twitter Bootstrap
*
*/
@import "../components/bootstrap/less/bootstrap.less";
/*!
*
* Font Awesome
*
*/
@import "../components/font-awesome/less/font-awesome.less";
@fa-font-path: "../components/font-awesome/fonts";
// base
@import "../base/less/style.less";
@import "../base/less/page.less";
// auth
@import "../auth/less/style.less";
// tree
@import "../tree/less/style.less";
// edit
@import "../edit/less/style.less";
// notebook
@import "../notebook/less/style.less";
// terminal
@import "../terminal/less/terminal.less";