sauve du 20/12

[tools/eficas.git] / Editeur / utils.py

diff --git a/Editeur/utils.py b/Editeur/utils.py
index 42a7ab29a0faf77fe7453da7f0506be1c54efc7d..51ae1473bfcf4ba72fd420e3866c4f4587537892 100644 (file)
--- a/Editeur/utils.py
+++ b/Editeur/utils.py
@@ -48,7 +48,7 @@ def get_rep_user(dir):
   if os.path.exists(rep_user_eficas):
     if os.path.isfile(rep_user_eficas) :
       print tr("Un fichier de nom %s existe deja : impossible de creer un repertoire de meme nom", rep_user_eficas)
-      sys.exit(0)
+      rep_user_eficas=None
   else :
     try:
       os.mkdir(rep_user_eficas)