sortie propre en cas d'absence du catalogue

diff --git a/Editeur/readercata.py b/Editeur/readercata.py
index 5b72e6b305374d5cd078c9853eecc92d74313f74..a68dff62cbceffcf3f7cd3c079a01fa97f9b5ea2 100644 (file)
--- a/Editeur/readercata.py
+++ b/Editeur/readercata.py
@@ -125,8 +125,10 @@ class READERCATA:
       self.update_barre()
       if self.appli.test == 0 :
          splash._splash.configure(text = "Fin import_cata: %d s" % time.clock())
-      if not self.cata : showerror("Import du catalogue","Impossible d'importer le catalogue %s" %self.fic_cata)
-
+      if not self.cata : 
+          showerror("Import du catalogue","Impossible d'importer le catalogue %s" %self.fic_cata)
+          self.appli.quit()
+          sys.exit(1)
       #
       # analyse du catalogue (ordre des mots-clés)
       #