From: Vincent Le Gallic Date: Sun, 23 Nov 2014 04:48:33 +0000 (+0100) Subject: On déhardcode le temps d'attente sur un whois X-Git-Url: http://gitweb.pimeys.fr/?p=bots%2Fbasile.git;a=commitdiff_plain;h=30b681e601d05dbf43f479929e9584bdcb7b440e On déhardcode le temps d'attente sur un whois --- diff --git a/basile.py b/basile.py index 1625119..8897bb1 100755 --- a/basile.py +++ b/basile.py @@ -257,10 +257,10 @@ class Basile(ircbot.SingleServerIRCBot): c'est que le pseudo n'est pas identifié. """ pseudo = ev.arguments()[0] # On laisse le temps au bot de souffler un coup - serv.execute_delayed(5, self.fail_whoisregnick, (pseudo,)) + serv.execute_delayed(config.whois_timeout, self.fail_whoisregnick, (pseudo,)) def fail_whoisregnick(self, pseudo): - """Maintenant qu'on a laissé 5 secondes au bot pour gérer les affaires courantes, + """Maintenant qu'on a laissé quelques secondes au bot pour gérer les affaires courantes, on considère que le pseudo n'est pas registered. """ # Attention, parce qu'il se pourrait qu'on n'ait pas sollicité ce whois # et que donc pending_whois n'ai pas été peuplé en conséquence diff --git a/config.py b/config.py index a3dc293..7ac518b 100644 --- a/config.py +++ b/config.py @@ -41,6 +41,10 @@ ops=["Nit"] #: À qui s'adresser (par IRC) quand le bot rencontre une erreur report_bugs_to=["[20-100]"] +#: Le temps qu'on attend (en secondes) après avoir lancé un whois pour considérer +#: que le pseudo n'est pas enregistré si on n'a rien reçu +whois_timeout = 5 + #: config "ce bot a été codé par 20-100, tu te rappelles ?" manzana = ["[20-100]", "Petite-Peste"] #: config "mais PEB aussi est passé par là"