summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-25 11:01:56 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-25 11:01:56 +0200
commitc612bfdabd31729c6c6242c1c790b594808e3483 (patch)
tree15d3c5970ad9d4b8fbea70200ec4f48fd708fe67
parentfcff0374a7134e20b7c51d2d8b2889aab21b83e4 (diff)
...
-rw-r--r--src/hastabel2idp/Main.java7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/hastabel2idp/Main.java b/src/hastabel2idp/Main.java
index b590cb4..3f5e95b 100644
--- a/src/hastabel2idp/Main.java
+++ b/src/hastabel2idp/Main.java
@@ -26,11 +26,18 @@ public class Main
if (!world.is_valid())
{
+ System.out.println("# Failure.");
+
return;
}
write_idp(world, params);
+ if (!world.is_valid())
+ {
+ return;
+ }
+
System.out.println("# Done.");
}