Skip to content

Instantly share code, notes, and snippets.

@yurenju

yurenju/server.js

Created March 3, 2019 14:07
Show Gist options
  • Save yurenju/85c94b2e41784c7887cbf430b835e1e0 to your computer and use it in GitHub Desktop.
Save yurenju/85c94b2e41784c7887cbf430b835e1e0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
server.js
socket.on("push-operations", function(req) {
const msg = Messages.BufferProxy.deserializeBinary(req);
document.integrateOperations(msg.getOperationsList().map(deserializeOperation));
console.log("push-operations", document.getText());
socket.broadcast.emit("push-operations", req);
});
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment