equal
deleted
inserted
replaced
139 public Result compile(String[] args) { |
139 public Result compile(String[] args) { |
140 Context context = new Context(); |
140 Context context = new Context(); |
141 JavacFileManager.preRegister(context); // can't create it until Log has been set up |
141 JavacFileManager.preRegister(context); // can't create it until Log has been set up |
142 Result result = compile(args, context); |
142 Result result = compile(args, context); |
143 if (fileManager instanceof JavacFileManager) { |
143 if (fileManager instanceof JavacFileManager) { |
144 // A fresh context was created above, so jfm must be a JavacFileManager |
144 try { |
145 ((JavacFileManager)fileManager).close(); |
145 // A fresh context was created above, so jfm must be a JavacFileManager |
|
146 ((JavacFileManager)fileManager).close(); |
|
147 } catch (IOException ignore) { |
|
148 } |
146 } |
149 } |
147 return result; |
150 return result; |
148 } |
151 } |
149 |
152 |
150 /** |
153 /** |