debug("terminate called");
if (t.isAlive()) {
t.interrupt();
for (Enumeration e = listeners.elements(); e.hasMoreElements();) {
XStreamListener l = (XStreamListener) e.nextElement();
l.terminated();
}
}
} catch (java.lang.Exception ex) {
if (statsp != null) {
statsp.println(ex.getClass().getName() + ": " + ex.getMessage());