github/hedgedoc
1
0
Fork 0
mirror of https://github.com/hedgedoc/hedgedoc.git synced 2024-11-24 18:56:32 -05:00
Code Issues Projects Releases Packages Wiki Activity

Fix logging in ot module

Browse source 
Seems like there was some debugging going on some day, this patch should
make sure the right logging is used.

Signed-off-by: Sheogorath <sheogorath@shivering-isles.com>
This commit is contained in:
Sheogorath 2018-11-13 22:59:50 +01:00
parent 54d3d930cf
commit 694fb37aea
No known key found for this signature in database
GPG key ID: 1F05CC3635CDDFFD
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
lib/ot/editor-socketio-server.js
View file

@ -44,7 +44,7 @@ EditorSocketIOServer.prototype.addClient = function (socket) {
socket.origin = 'operation'; socket.origin = 'operation';
self.mayWrite(socket, function (mayWrite) { self.mayWrite(socket, function (mayWrite) {
if (!mayWrite) { if (!mayWrite) {
console.log("User doesn't have the right to edit."); logger.info("User doesn't have the right to edit.");
return; return;
} }
try { try {
@ -71,14 +71,14 @@ EditorSocketIOServer.prototype.addClient = function (socket) {
socket.origin = 'selection'; socket.origin = 'selection';
self.mayWrite(socket, function (mayWrite) { self.mayWrite(socket, function (mayWrite) {
if (!mayWrite) { if (!mayWrite) {
console.log("User doesn't have the right to edit."); logger.info("User doesn't have the right to edit.");
return; return;
} }
self.updateSelection(socket, obj && Selection.fromJSON(obj)); self.updateSelection(socket, obj && Selection.fromJSON(obj));
}); });
}); });
socket.on('disconnect', function () { socket.on('disconnect', function () {
//console.log("Disconnect"); logger.debug("Disconnect");
socket.leave(self.docId); socket.leave(self.docId);
self.onDisconnect(socket); self.onDisconnect(socket);
/* /*
@ -106,7 +106,7 @@ EditorSocketIOServer.prototype.onOperation = function (socket, revision, operati
var clientId = socket.id; var clientId = socket.id;
var wrappedPrime = this.receiveOperation(revision, wrapped); var wrappedPrime = this.receiveOperation(revision, wrapped);
if(!wrappedPrime) return; if(!wrappedPrime) return;
//console.log("new operation: " + JSON.stringify(wrapped)); logger.debug("new operation: " + JSON.stringify(wrapped));
this.getClient(clientId).selection = wrappedPrime.meta; this.getClient(clientId).selection = wrappedPrime.meta;
revision = this.operations.length; revision = this.operations.length;
socket.emit('ack', revision); socket.emit('ack', revision);