chiark
/
gitweb
/
~mdw
/
ircbot
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Document ping output right.
[ircbot]
/
bot.tcl
diff --git
a/bot.tcl
b/bot.tcl
index b07b567929d5177499eedf15197bbaaf13db1676..e5da8469d8306eb4f2c417daea7776c5f9bbf07f 100755
(executable)
--- a/
bot.tcl
+++ b/
bot.tcl
@@
-1413,7
+1413,7
@@
proc marktime_desc {mt} {
def_setting marktime {
set mt [nickdb_get $n marktime]
set p $mt
- if {[string match
$mt {[0-9]*}
} { append p s }
+ if {[string match
{[0-9]*} $mt]
} { append p s }
append p ": "
append p [marktime_desc $mt]
return $p