From: Vincent Le Gallic <legallic@crans.org>
Date: Wed, 11 Sep 2013 07:01:21 +0000 (+0200)
Subject: Merge branch 'master' into perso
X-Git-Url: http://gitweb.pimeys.fr/?a=commitdiff_plain;h=1669369e4f2ce129a1bbb48c0c470c9d4a08db4d;hp=11a5766b4e73513ab4c4fa4709625e74729f9135;p=config-20-100.git

Merge branch 'master' into perso
---

diff --git a/.procmailrc b/.procmailrc
index f7d5658..ba6ce34 100644
--- a/.procmailrc
+++ b/.procmailrc
@@ -307,6 +307,7 @@ DJANGODIR="${SOFTDIR}.Django"
 INTRANET2DIR="${SOFTDIR}.Intranet2"
 INTRANET1DIR="${SOFTDIR}.intranet-bugreport"
 CRONDIR="${WILDDIR}.cron"
+GESTCRANSDIR="${WILDDIR}.gest_crans"
 NOLSDIR="${ARGHDIR}.nols"
 PULSARDIR="${ARGHDIR}.pulsar"
 MAILMANDIR="${HUMANPROBLEMSDIR}.Mailman"
@@ -551,6 +552,11 @@ INCLUDERC="${CONFIGDIR}/custom.high.rules"
   * ^Subject:.*apt-listchanges
   ${APTLISTCHANGESDIR}/
   
+  # Mail envoyé quand gest_crans plante
+  :0
+  * ^Subject: Bugreport gest_crans.py
+  ${GESTCRANSDIR}/
+  
   # Tout ce qui traîne sur root et qui n'est pas catché par quelque chose
   :0
   ${ROOTDEFAULTDIR}/