src/share/classes/com/sun/tools/javac/util/Log.java

changeset 464
d02e99d31cc0
parent 415
49359d0e6a9c
child 504
6eca0895a644
     1.1 --- a/src/share/classes/com/sun/tools/javac/util/Log.java	Fri Jan 08 13:14:45 2010 -0800
     1.2 +++ b/src/share/classes/com/sun/tools/javac/util/Log.java	Mon Jan 11 14:05:21 2010 -0800
     1.3 @@ -145,7 +145,10 @@
     1.4          private int getIntOption(Options options, String optionName, int defaultValue) {
     1.5              String s = options.get(optionName);
     1.6              try {
     1.7 -                if (s != null) return Integer.parseInt(s);
     1.8 +                if (s != null) {
     1.9 +                    int n = Integer.parseInt(s);
    1.10 +                    return (n <= 0 ? Integer.MAX_VALUE : n);
    1.11 +                }
    1.12              } catch (NumberFormatException e) {
    1.13                  // silently ignore ill-formed numbers
    1.14              }

mercurial