Merge branch 'master' of /git/Hung

[bots/hung.git] / hung.py

diff --git a/hung.py b/hung.py
index 5c7a672ec4470bd59ee42dff6a4b864948fdccc6..9582bc0fe27cc763ad154e15e7f23e361a8aa60e 100755 (executable)
--- a/hung.py
+++ b/hung.py
@@ -31,7 +31,7 @@ config_logfile_template="hung.%s.log"
 def get_config_logfile(serveur):
     serveurs={"acoeur.crans.org":"acoeur","irc.crans.org":"crans"}
     return config_logfile_template%(serveurs[serveur])
-config_overops=["[20-100]","[20-100]_"]
+config_overops=["[20-100]","[20-100]_","Petite-Peste","PEB"]
 config_ops=[]
 config_report_bugs_to=["[20-100]"]