private void dump(PrintStream out, Journal journal) { JournalControl.print(journal); }
private void dump(PrintStream out, Journal journal) { JournalControl.print(journal); }
/** Highly risky! */ public void printJournal() { JournalControl.print(transactionManager.getJournal()); }
/** Dump a journal - debug support function - opens the journal specially - inconsistent views possible */ public static void print(String filename) { BufferChannelFile chan = BufferChannelFile.createUnmanaged(filename, "r") ; Journal journal = new Journal(chan) ; JournalControl.print(journal) ; chan.close() ; }