From e5d7f9c6013d1be616fa7a54e34e9ae9bac30218 Mon Sep 17 00:00:00 2001
From: "sof@galois.com" <unknown>
Date: Mon, 16 Oct 2006 22:35:16 +0000
Subject: [PATCH] mark stop event handle as invalid once closed, making
 shutdowns more graceful.

---
 rts/win32/Ticker.c |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/rts/win32/Ticker.c b/rts/win32/Ticker.c
index 9fa40eb..7701a3b 100644
--- a/rts/win32/Ticker.c
+++ b/rts/win32/Ticker.c
@@ -54,6 +54,7 @@ TimerProc(PVOID param)
       /* event has become signalled */
       tickProc = NULL;
       CloseHandle(hStopEvent);
+      hStopEvent = INVALID_HANDLE_VALUE;
       return 0;
     case WAIT_TIMEOUT:
       /* tick */
@@ -115,7 +116,10 @@ stopTicker(void)
 	    }
 	    if (exitCode != STILL_ACTIVE) {
 		tickThread = INVALID_HANDLE_VALUE;
-		CloseHandle(hStopEvent);
+		if ( hStopEvent != INVALID_HANDLE_VALUE ) {
+		    CloseHandle(hStopEvent);
+		    hStopEvent = INVALID_HANDLE_VALUE;
+		}
 		return 0;
 	    }
 	    TerminateThread(tickThread, 0);
-- 
1.7.10.4