// ------------------------------------------------ // save database to either the stdout or the file // ------------------------------------------------ public synchronized void saveDatabase(BufferedWriter o) { Iterator values = table.values().iterator(); while (values.hasNext()) { Entry e = (Entry) values.next(); e.prtEntry(daf, o); } }