public void lockReleased(Message.LockReleaseMsg m) {
if (EditorServer_Debug) System.err.println("EditorServer: lockReleased.");
lockManager.lockReleased(m.getStartPar(), m.getEndPar(), m.getClientId());
try {
textChannel.sendToOthers(client, new Data(m));
} catch (Exception e) {
System.err.println("EditorServer: lockReleased: error sending lock released");
if (EditorServer_Debug) e.printStackTrace();
}
}
