public void exit() {
session.close();
if (dnsCache != null) {
System.out.printf(" cache= %s%n", dnsCache.toString());
System.out.printf(" cache.size= %d%n", dnsCache.getSize());
System.out.printf(" cache.memorySize= %d%n", dnsCache.getMemoryStoreSize());
Statistics stats = dnsCache.getStatistics();
System.out.printf(" stats= %s%n", stats.toString());
}
cacheManager.shutdown();
fileChooser.save();
managePanel.save();
accessLogPanel.save();
servletLogPanel.save();
urlDump.save();
Rectangle bounds = frame.getBounds();
prefs.putBeanObject(FRAME_SIZE, bounds);
try {
store.save();
} catch (IOException ioe) {
ioe.printStackTrace();
}
done = true; // on some systems, still get a window close event
System.exit(0);
}
private void gotoUrlDump(String urlString) {
urlDump.setURL(urlString);
tabbedPane.setSelectedIndex(3);
}