Windows play-sound: remove extra delay after async

2016-01-05 07:31:01 -07:00 · 2016-01-05 07:31:01 -07:00 · 0e344def40
commit 0e344def40
parent 8ae077c22a
1 changed files with 1 additions and 1 deletions
--- a/gui-lib/mred/private/wx/win32/sound.rkt
+++ b/gui-lib/mred/private/wx/win32/sound.rkt
@ -69,7 +69,7 @@
                   (string->number s)))
     (unless len (error 'play "mci did not return a numeric length"))
     (mci-send "play ~a" id)
-     (if async? (thread (lambda () (done (+ len 5000)))) (done len)))
+     (if async? (thread (lambda () (done len))) (done len)))
   (lambda ()
     (unless async?
       (done #f))))