184185186187188189190191192193
srcFile = args[i]; break; } } AgentConsole console = new AgentConsoleWithRdf(logFile); if (srcFile != null) console._source(srcFile); console.run(); }