Register any CREOLE URLs that we got on the command line
()
| 116 | |
| 117 | /** Register any CREOLE URLs that we got on the command line */ |
| 118 | protected static void registerCreoleUrls() { |
| 119 | CreoleRegister reg = Gate.getCreoleRegister(); |
| 120 | Iterator<URL> iter = pendingCreoleUrls.iterator(); |
| 121 | while(iter.hasNext()) { |
| 122 | URL u = iter.next(); |
| 123 | try { |
| 124 | reg.registerPlugin(new Plugin.Directory(u)); |
| 125 | } catch(GateException e) { |
| 126 | Err.prln("Couldn't register CREOLE directory: " + u); |
| 127 | Err.prln(e); |
| 128 | System.exit(STATUS_ERROR); |
| 129 | } |
| 130 | } |
| 131 | } // registerCreoleUrls() |
| 132 | |
| 133 | /** Main Frame of the GUI; null when no GUI running */ |
| 134 | protected static MainFrame frame; |
no test coverage detected