chiark / gitweb /
do not ping immediately after crash
authorian <ian>
Sun, 8 Jun 2008 23:21:31 +0000 (23:21 +0000)
committerian <ian>
Sun, 8 Jun 2008 23:21:31 +0000 (23:21 +0000)
hostside/multiplex

index 814341639f4cbfc5d83ea72f3cdb202a51799562..535f50a582246376cbf5b9837e7e62a71747cbbd 100755 (executable)
@@ -289,8 +289,8 @@ proc realtime-retry-realtime-failed {} {
     set serchan [open $dev_railway r+]
     fconfigure $serchan -translation binary -buffering none -blocking 0
     fileevent $serchan readable realtime-retry-serchan-readable
-    set realtime_retry [list $serchan x {} {}]
-    realtime-retry-send-ping
+    set after [after 500 realtime-retry-send-ping]
+    set realtime_retry [list $serchan $after {} {}]
 }
 
 proc realtime-retry-send-ping {} {