From eacaa665f6ba00515cd02cc801c475f6f73c0eea Mon Sep 17 00:00:00 2001 From: Ralf Teusner Date: Thu, 1 Sep 2016 17:31:46 +0200 Subject: [PATCH] make websocket flush accessible. --- app/assets/javascripts/editor/websocket.js.erb | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/app/assets/javascripts/editor/websocket.js.erb b/app/assets/javascripts/editor/websocket.js.erb index e4c45e24..baba623d 100644 --- a/app/assets/javascripts/editor/websocket.js.erb +++ b/app/assets/javascripts/editor/websocket.js.erb @@ -96,6 +96,13 @@ CommandSocket.prototype.getReadyState = function() { return this.websocket.readyState; }; +/** + * Flush the websocket. + */ +CommandSocket.prototype.flush = function() { + this.websocket.flush(); +}; + /** * Closes the websocket. */