chiark / gitweb /
clear out old trains from saved replay
authorian <ian>
Sun, 20 Jul 2008 17:14:32 +0000 (17:14 +0000)
committerian <ian>
Sun, 20 Jul 2008 17:14:32 +0000 (17:14 +0000)
hostside/multiplex

index 590741bd72ce2e3c050e760c2138f282485ef1a6..5bf8ef56815191ec16a35a504a3349a3bc8482c5 100755 (executable)
@@ -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