plint

commit 27f133930cfc457afd03274d27a7cbc6d025affd
parent a0d9c34e6f0791304345d22ccf86e9377b8c5b31
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat,  7 Feb 2015 17:52:14 +0100

upper bound

Diffstat:
plint_irc.py
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/plint_irc.py b/plint_irc.py
@@ -66,6 +66,8 @@ def manage(line, descriptor=sys.stdout):
         or text.lstrip().endswith("...") or text.lstrip().endswith("…")) and
         len(text) < 13):
       return False # too short
+    if len(text) > 130:
+      return False # too long
   if (text.rstrip().endswith("...") or
       text.rstrip().endswith("…")):
     # it might be a call