htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

make websocket flush accessible.

Browse Source
This commit is contained in:
Ralf Teusner
2016-09-01 17:31:46 +02:00
parent 0d550a44af
commit eacaa665f6
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
app/assets/javascripts/editor/websocket.js.erb
View File

@ -96,6 +96,13 @@ CommandSocket.prototype.getReadyState = function() {
return this.websocket.readyState; return this.websocket.readyState;
}; };
/**
* Flush the websocket.
*/
CommandSocket.prototype.flush = function() {
this.websocket.flush();
};
/** /**
* Closes the websocket. * Closes the websocket.
*/ */