no interference with numbers in titles *without* space, thanks to Nahru
authorGabriel Wicke <gwicke@users.mediawiki.org>
Mon, 19 Jul 2004 21:13:42 +0000 (21:13 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Mon, 19 Jul 2004 21:13:42 +0000 (21:13 +0000)
irc/rcdumper.php

index 93fa26a..2000cd7 100644 (file)
@@ -74,7 +74,7 @@ while (1) {
                $title = str_replace("_", " ", $title);
                 # see http://www.irssi.org/?page=docs&doc=formats for some colour codes. prefix is \003, 
                # no colour (\003) switches back to the term default
-               $fullString = "\003$title\0037 $flag\00310 $url \0037*\003 $user \0037*\003 $comment\n";
+               $fullString = "\00303$title\0037 $flag\00310 $url \0037*\003 $user \0037*\003 $comment\n";
 
                print( $fullString );
                $oldTimestamp = $row->rc_timestamp;