|
|
@ -28,6 +28,7 @@ import gnu.getopt.Getopt; |
|
|
|
import java.lang.reflect.Modifier; |
|
|
|
import java.lang.reflect.Modifier; |
|
|
|
import java.io.PrintWriter; |
|
|
|
import java.io.PrintWriter; |
|
|
|
import java.io.FileReader; |
|
|
|
import java.io.FileReader; |
|
|
|
|
|
|
|
import java.io.InputStreamReader; |
|
|
|
import java.io.IOException; |
|
|
|
import java.io.IOException; |
|
|
|
import @COLLECTIONS@.Collections; |
|
|
|
import @COLLECTIONS@.Collections; |
|
|
|
|
|
|
|
|
|
|
@ -151,8 +152,11 @@ public class Main { |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
try { |
|
|
|
try { |
|
|
|
|
|
|
|
String filename = params[g.getOptind()]; |
|
|
|
ScriptParser parser = new ScriptParser |
|
|
|
ScriptParser parser = new ScriptParser |
|
|
|
(new FileReader(params[g.getOptind()])); |
|
|
|
(filename.equals("-") |
|
|
|
|
|
|
|
? new InputStreamReader(System.in) |
|
|
|
|
|
|
|
: new FileReader(filename)); |
|
|
|
parser.parseOptions(bundle); |
|
|
|
parser.parseOptions(bundle); |
|
|
|
} catch (IOException ex) { |
|
|
|
} catch (IOException ex) { |
|
|
|
GlobalOptions.err.println |
|
|
|
GlobalOptions.err.println |
|
|
|