mark stop event handle as invalid once closed, making shutdowns more graceful.
authorsof@galois.com <unknown>
Mon, 16 Oct 2006 22:35:16 +0000 (22:35 +0000)
committersof@galois.com <unknown>
Mon, 16 Oct 2006 22:35:16 +0000 (22:35 +0000)
commite5d7f9c6013d1be616fa7a54e34e9ae9bac30218
tree035f06ee7977572a4dd0858de1b8412db072a0d6
parent58546748b9659f59dfdc3a917b1b64ceacc5496d
mark stop event handle as invalid once closed, making shutdowns more graceful.
rts/win32/Ticker.c