A kindler, gentler death re: Robby

2013-05-07 20:10:48 -06:00 · 2013-05-07 20:10:48 -06:00 · 61feb21c42
commit 61feb21c42
parent eaf9521336
1 changed files with 4 additions and 1 deletions
--- a/collects/meta/drdr/run-collect.rkt
+++ b/collects/meta/drdr/run-collect.rkt
@ -78,7 +78,10 @@
                                      (define end-time 
                                        (current-inexact-milliseconds))
                                      (subprocess-kill the-process #f)
-                                      (sleep)
+                                      ;; Sleep for 10% of the timeout
+                                      ;; before sending the death
+                                      ;; signal
+                                      (sleep (* timeout 0.1))
                                      (subprocess-kill the-process #t)
                                      (loop open-ports end-time status log)))
                        (handle-evt the-process