##// END OF EJS Templates
Fixed still broken remove_ansi, : to ;
Jonathan Frederic -
Show More
@@ -36,7 +36,7 b' def remove_ansi(source):'
36 Source to remove the ansi from
36 Source to remove the ansi from
37 """
37 """
38
38
39 return re.sub(r'\033\[(\d|:)+?m', '', source)
39 return re.sub(r'\033\[(\d|;)+?m', '', source)
40
40
41
41
42 def ansi2html(text):
42 def ansi2html(text):
General Comments 0
You need to be logged in to leave comments. Login now