Crypto crypto = database.logger.getCrypto();
if (crypto == null) {
scr = new ScriptReaderText(database, logFilename);
} else {
scr = new ScriptReaderDecode(database, logFilename, crypto,
true);
}
while (scr.readLoggedStatement(current)) {
int sessionId = scr.getSessionNumber();