| summaryrefslogtreecommitdiff | 
diff options
| -rw-r--r-- | src/hastabel2idp/Main.java | 7 | 
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.");     } | 


