From 0e344def4064336266dffdcd425501ba9487eb8c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 5 Jan 2016 07:31:01 -0700 Subject: [PATCH] Windows play-sound: remove extra delay after async --- gui-lib/mred/private/wx/win32/sound.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui-lib/mred/private/wx/win32/sound.rkt b/gui-lib/mred/private/wx/win32/sound.rkt index a7e53779..95492bec 100644 --- 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))))