changeset 26088 | f479ca655ba1 |
parent 25605 | c2d72342fe19 |
26087:93e7681752f6 | 26088:f479ca655ba1 |
---|---|
141 compilationResult.stderr = stderrLog.toString(); |
141 compilationResult.stderr = stderrLog.toString(); |
142 compilationResult.returnCode = rc.exitCode == 0 && forcedExit.get() ? -1 : rc.exitCode; |
142 compilationResult.returnCode = rc.exitCode == 0 && forcedExit.get() ? -1 : rc.exitCode; |
143 |
143 |
144 return compilationResult; |
144 return compilationResult; |
145 } |
145 } |
146 |
|
147 @Override |
|
148 public String serverSettings() { |
|
149 return ""; |
|
150 } |
|
151 |
|
146 } |
152 } |