public boolean loadDocument(String fileName) {
try {
File file = new File(fileName);
ObjectInputStream in = new ObjectInputStream(new FileInputStream(file));
SavedDocument doc = (SavedDocument) in.readObject();
document =
new EditorDocument(
doc.getTitle(), doc.getDescription(),
doc.getText(), doc.getStartTime());
paragraphs = new Paragraphs(document, doc.getParagraphsVector());
clients = doc.getClients();
Iterator i = clients.iterator();
while (i.hasNext()) {
EditorClient c = (EditorClient) i.next();
c.setPresent(false);
if (c.getIdNumber() > nextClientId) nextClientId = c.getIdNumber();
}
nextClientId++;
lockManager = new LockManager(clients, document, paragraphs);
highlights =
new Highlights(lockManager, document, doc.getHighlightTypes(), doc.getHighlights());
return true;
} catch (Exception e) {
System.out.println("EditorServer: loadDocument. error");
e.printStackTrace();
return false;
}
} // endof const WITH audio profile maker
/** Stop talking to the server */
public void stop() {
if (socket != null) {
// Close all the streams and socket
if (out != null) {
try {
out.close();
} catch (IOException ioe) {
}
out = null;
}
if (in != null) {
try {
in.close();
} catch (IOException ioe) {
}
in = null;
}
if (socket != null) {
try {
socket.close();
} catch (IOException ioe) {
}
socket = null;
}
} else {
// Already stopped
}
// Make sure the right buttons are enabled
start_button.setEnabled(true);
stop_button.setEnabled(false);
setStatus(STATUS_STOPPED);
}
/** Background thread used to receive data from the server. */
public void run() {
Long id;
Integer message_type;
String target;
String soap;
SOAPMonitorData data;
int selected;
int row;
boolean update_needed;
while (socket != null) {
try {
// Get the data from the server
message_type = (Integer) in.readObject();
// Process the data depending on its type
switch (message_type.intValue()) {
case SOAPMonitorConstants.SOAP_MONITOR_REQUEST:
// Get the id, target and soap info
id = (Long) in.readObject();
target = (String) in.readObject();
soap = (String) in.readObject();
// Add new request data to the table
data = new SOAPMonitorData(id, target, soap);
model.addData(data);
// If "most recent" selected then update
// the details area if needed
selected = table.getSelectedRow();
if ((selected == 0) && model.filterMatch(data)) {
valueChanged(null);
}
break;
case SOAPMonitorConstants.SOAP_MONITOR_RESPONSE:
// Get the id and soap info
id = (Long) in.readObject();
soap = (String) in.readObject();
data = model.findData(id);
if (data != null) {
update_needed = false;
// Get the selected row
selected = table.getSelectedRow();
// If "most recent", then always
// update details area
if (selected == 0) {
update_needed = true;
}
// If the data being updated is
// selected then update details
row = model.findRow(data);
if ((row != -1) && (row == selected)) {
update_needed = true;
}
// Set the response and update table
data.setSOAPResponse(soap);
model.updateData(data);
// Refresh details area (if needed)
if (update_needed) {
valueChanged(null);
}
}
break;
}
} catch (Exception e) {
// Exceptions are expected here when the
// server communication has been terminated.
if (stop_button.isEnabled()) {
stop();
setErrorStatus(STATUS_CLOSED);
}
}
}
}