# HG changeset patch
# User Charly COSTE <changaco@changaco.net>
# Date 1253043480 -7200
# Node ID 94fc538cdf65dd650e161aade563d7b7f2e214a3
# Parent  8b071629558e350d2735e8a5b1c01df83e433266
Better format stripping for IRC messages

Signed-off-by: Charly COSTE <changaco@changaco.net>

diff -r 8b071629558e -r 94fc538cdf65 irclib.py
--- a/irclib.py	Mon Sep 07 18:33:59 2009 +0200
+++ b/irclib.py	Tue Sep 15 21:38:00 2009 +0200
@@ -90,7 +90,7 @@
 # ERROR from the server triggers the error event and the disconnect event.
 # dropping of the connection triggers the disconnect event.
 
-strip_formatting_re = re.compile('(?:\x03[0-9]*(?:,[0-9]+)?|\x02)')
+strip_formatting_re = re.compile('(?:\x03[0-9]*(?:,[0-9]+)?|\x02|\x1f)')
 
 class IRCError(Exception):
     """Represents an IRC exception."""