chiark
/
gitweb
/
~ijackson
/
trains.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
183b8be
)
clear out old trains from saved replay
author
ian
<ian>
Sun, 20 Jul 2008 17:14:32 +0000
(17:14 +0000)
committer
ian
<ian>
Sun, 20 Jul 2008 17:14:32 +0000
(17:14 +0000)
hostside/multiplex
patch
|
blob
|
history
diff --git
a/hostside/multiplex
b/hostside/multiplex
index 590741bd72ce2e3c050e760c2138f282485ef1a6..5bf8ef56815191ec16a35a504a3349a3bc8482c5 100755
(executable)
--- a/
hostside/multiplex
+++ b/
hostside/multiplex
@@
-691,6
+691,7
@@
proc realtime-inputline {dummy l} {
}
Resolving {
savereplay-clear-re {^50 resolution }
+ savereplay-clear-re {^60 train \S+ (?:at|has) }
}
}
set pri 10