Fix if generated existing configuration

When some generator tries to register already generated solution, it
shouldn't be registered.

diff --git a/scripts/configurations.py b/scripts/configurations.py
index c58f3f5a715e78cdd1bf6c3e7d4c84fedc1cfa6a..29095783073529ccf9857c700bc5b4f22d45d46c 100644 (file)
--- a/scripts/configurations.py
+++ b/scripts/configurations.py
@@ -149,6 +149,7 @@ def __register_conf__(con, conf_num, generator):
        if os.path.isfile(filen):
                if compare(filen, wfile):
                        print("I: Generated existing configuration.")
+                       return
                else:
                        print("W: Generated configuration with collision hash.")
                        # TODO this might have to be tweaked