From 2c06069bdf203217fcf4299667ae562b3f00147c Mon Sep 17 00:00:00 2001 From: Christian Caremoli <> Date: Thu, 8 Jun 2006 16:00:49 +0000 Subject: [PATCH] sortie propre en cas d'absence du catalogue --- Editeur/readercata.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Editeur/readercata.py b/Editeur/readercata.py index 5b72e6b3..a68dff62 100644 --- 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) # -- 2.39.2