public void textInserted(Message.TextPasteMsg m) {
try {
int SenderId = m.getClientId();
int offset = m.getOffset();
String textPasted = m.getText();
if (EditorServer_Debug)
System.err.println("EditorServer->textinserted : PASTED by : " + SenderId);
Vector pars = null;
try {
pars = lockManager.textInserted(m.getPar(), offset, textPasted, SenderId);
if (EditorServer_Debug)
System.err.println("\n+=*%EditorServer--> textInserted recovered VECTOR...");
} catch (Exception e) {
System.err.println("\n+=*%EditorServer--> textInserted VECTOR error ");
}
textChannel.sendToOthers(client, new Data(m));
EditorClient SenderClient = getEditorClient(SenderId);
SenderClient.addTextPasteAction(System.currentTimeMillis(), pars, offset, textPasted);
clientsPanel.updateActionTableFor(SenderClient);
updateParagraphList();
} catch (Exception e) {
System.err.println("\nEditorServer--> textPasted: error sending msg");
if (EditorServer_Debug) e.printStackTrace();
}
}
