Displaying differences for changeset |
@@ -309,6 +309,10 @@ |
* Run Ages |
* |
* @param dsl |
+ * @param ws |
+ * @param param |
+ * @param res |
+ * @param LOG |
* @throws Exception |
*/ |
public static void runAges(File dsl, File ws, PayloadParameter param, |
@@ -320,7 +324,7 @@ |
if (result != 0) { |
FilenameFilter ff = new WildcardFileFilter("java*stderr.txt", IOCase.INSENSITIVE); |
File[] f = ws.listFiles(ff); |
- if (f != null && f.length > 0) { |
+ if (FileUtils.sizeOf(p.stderr()) > 10) { |
String err = FileUtils.readFileToString(f[0]); |
LOG.info("Ages execution error. " + f[0] + ":\n" + err); |
throw new ServiceException("Ages execution error. " + f[0] + ":\n" + err); |