public void lockRequested(Message.LockRequestMsg m) {
if (EditorServer_Debug) System.err.println("EditorServer -> lockRequested.");
/*
java.util.Timer t = new java.util.Timer() ;
t.schedule(new TimerTask() {
public void run() {
client.lockDenied(id) ;
}
}, 3000) ;
*/
if (lockManager.lockRequested(m.getStartPar(), m.getEndPar(), m.getClientId())) {
if (EditorServer_Debug) System.out.println("Lock Granted");
Message.LockGrantMsg reply =
new Message.LockGrantMsg(
m.getClientId(), m.getStartPar(), m.getEndPar(), m.getIdNumber());
try {
textChannel.sendToOthers(client, new Data(reply));
} catch (Exception e) {
System.err.println("EditorServer: lockRequested: error sending lock granted");
if (EditorServer_Debug) e.printStackTrace();
}
} else {
if (EditorServer_Debug) System.out.println("Lock Denied");
// send lock denied to sender
Message.LockDenyMsg reply = new Message.LockDenyMsg(m.getClientId(), m.getIdNumber());
try {
textChannel.sendToOthers(client, new Data(reply));
} catch (Exception e) {
System.err.println("EditorServer: lockRequested: error sending lock denied");
if (EditorServer_Debug) e.printStackTrace();
}
}
}
