Browse Source

WTF is the error?

master
Menci 6 years ago
parent
commit
c29cde890b
  1. 30
      modules/socketio.js

30
modules/socketio.js

@ -240,19 +240,23 @@ function updateProgress(taskId, data) {
score: finalResult.score score: finalResult.score
}; };
forAllClients(detailProgressNamespace, taskId, (client) => { forAllClients(detailProgressNamespace, taskId, (client) => {
winston.debug(`Pushing progress update to ${client}`); try {
if (clientDetailProgressList[client] && clientDisplayConfigList[client]) { winston.debug(`Pushing progress update to ${client}`);
const original = clientDetailProgressList[client].content; if (clientDetailProgressList[client] && clientDisplayConfigList[client]) {
const updated = processOverallResult(currentJudgeList[taskId], clientDisplayConfigList[client]); const original = clientDetailProgressList[client].content;
const version = clientDetailProgressList[client].version; const updated = processOverallResult(currentJudgeList[taskId], clientDisplayConfigList[client]);
detailProgressNamespace.sockets[client].emit('update', { const version = clientDetailProgressList[client].version;
taskId: taskId, detailProgressNamespace.sockets[client].emit('update', {
from: version, taskId: taskId,
to: version + 1, from: version,
delta: diff.diff(original, updated), to: version + 1,
roughResult: roughResult delta: diff.diff(original, updated),
}); roughResult: roughResult
clientDetailProgressList[client].version++; });
clientDetailProgressList[client].version++;
}
} catch (e) {
console.log(e);
} }
}); });
} }

Loading…
Cancel
Save