Merge branch 'master' into perso

diff --combined .procmailrc
index f7d5658d4e1f9cd27d272a81ac341fb7fc40de44,6909019c27cb1545740dcbded6b4c2cc8b4ff2f8..ba6ce345b320bfa497b849d0da99adfa77c61241
--- 1/.procmailrc
--- 2/.procmailrc
+++ b/.procmailrc
@@@ -307,6 -307,7 +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"
@@@ -375,14 -376,14 +376,14 @@@ FEDEREZOVHDIR="${FEDEREZADMINDIR}.OVH
  #####                                Règles                                #####
  ################################################################################
  
 -#~# # Patch pour traiter les mails qui ont été
 -#~# # reçus avant le 30/06/13, car certaines règles de tri du .procmailrc
 -#~# # n'étaient pas encore valables à l'époque.
 -#~# # très utile si on veut retrier tous ses mails
 -#~# INCLUDERC="${CONFIGDIR}/retrocompatibility_patch.rules"
 +# Patch pour traiter les mails qui ont été
 +# reçus avant le 30/06/13, car certaines règles de tri du .procmailrc
 +# n'étaient pas encore valables à l'époque.
 +# très utile si on veut retrier tous ses mails
 +INCLUDERC="${CONFIGDIR}/retrocompatibility_patch.rules"
  
 -#~# # Fichier de règles prioritaires à personnaliser
 -#~# INCLUDERC="${CONFIGDIR}/custom.high.rules"
 +# Fichier de règles prioritaires à personnaliser
 +INCLUDERC="${CONFIGDIR}/custom.high.rules"
  
  #################################################################
  ##                Gestion des mails d'Arpwatch                 ##
@@@ -468,9 -469,9 +469,9 @@@
  * ^To:.*(roots?|postgres|www-data|list)@crans\.org
  * ^(X-Cron-Env|From: Anacron)
  {
 -  #~# # Par défaut, on ne trie pas les mails de Cron, pensez à décommenter
 -  #~# # le INCLUDERC (et à copier le fichier complémentaire) pour les trier
 -  #~# INCLUDERC=${CONFIGDIR}/cron.rules
 +  # Par défaut, on ne trie pas les mails de Cron, pensez à décommenter
 +  # le INCLUDERC (et à copier le fichier complémentaire) pour les trier
 +  INCLUDERC=${CONFIGDIR}/cron.rules
    
    :0
    ${CRONDIR}/
@@@ -551,6 -552,11 +552,11 @@@
    * ^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}/
@@@ -743,8 -749,8 +749,8 @@@ ${CABLAGEDIR}
  #################################################################
  ##              Inclusion des règles personnelles              ##
  #################################################################
 -#~# # Fichier de règles à personnaliser
 -#~# INCLUDERC="${CONFIGDIR}/custom.normal.rules"
 +# Fichier de règles à personnaliser
 +INCLUDERC="${CONFIGDIR}/custom.normal.rules"
  
  #################################################################
  ##                Gestion des mails de Mailman                 ##
@@@ -951,5 -957,5 +957,5 @@@
    ${MLDIR}.${DOMAIN_}.${ML_}/
  }
  
 -#~# # Fichier de règles de faible priorité à personnaliser
 -#~# INCLUDERC="${CONFIGDIR}/custom.final.rules"
 +# Fichier de règles de faible priorité à personnaliser
 +INCLUDERC="${CONFIGDIR}/custom.final.rules"