merge avec les devloppts de l ete

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

diff --git a/Editeur/session.py b/Editeur/session.py
index 954f277dfb452c60d8a4697a6496a7be9cc8d4d0..1f7bb5a37a396da5d21b43d74a8f59a321f8bdd0 100644 (file)
--- a/Editeur/session.py
+++ b/Editeur/session.py
@@ -288,7 +288,7 @@ def parse(args):
             options.comm.append(file)
             options.studies.append({"comm":file})
             #print options.studies
-         elif len(args)==1 and (re.search('.comm',file) or re.search('.map',file)):
+         elif len(args)==1 and (re.search('.comm',file) or re.search('.map',file) or re.search('.cas',file)):
             try :
                 f=open(file,'w')
                 f.close()