diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-14 14:52:30 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-14 14:52:30 +0200 |
| commit | 18a575e02816622706f740e9938515869b58a375 (patch) | |
| tree | 0b3522830859896d389c6c44090085c27081a437 /js/codemirror/panel.js | |
| parent | 517fb5cec0dab7672cd6ce97fe72906f09125435 (diff) | |
Reimplemented communication with the server.
* Using engine.io to use web sockets or long polling.
* Changed to a single-page app.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions