777778779780781782783784785786787
scriptFormat); Session session = database.sessionManager.getSysSessionForScript(database); scr.readAll(session); scr.close(); } } catch (Throwable e) { if (scr != null) { scr.close();