Gestion des cas o la couleur n'est pas gre (si l'on fait un pipe la

couleur n'est pas ajout au texte)

darcs-hash:20070203020742-7b604-9a90f24e7523f918785915d95e114b683945c211.gz

gestion/affich_tools.py

@@ -29,6 +29,8 @@ if 'TERM' in os.environ and os.environ['TERM'] != 'unknown':
 else:
     el = os.popen('tput -Tvt100 cr ; tput -Tvt100 el').read()
 
+stdout_atty = sys.stdout.isatty()
+
 def dialog(backtitle,arg) :
     """ Affiche la boite de dialogue défine avec les arguments fournis
     (cf man dialog) 
@@ -79,6 +81,9 @@ def coul(txt, col):
     Les couleur sont celles de codecol
     Il est possible de changer la couleur de fond grace aux couleur f_<couleur>
     """
+    if not stdout_atty:
+        return txt
+
     codecol = { 'rouge': 31,
                 'vert': 32,
                 'jaune': 33,