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.
  */