Fix problem when shutting down before having set up the timer.

diff --git a/v7/src/microcode/ntutl/scheme32.c b/v7/src/microcode/ntutl/scheme32.c
index cbe83e03fe340c730ee074e1351dc6999ffdb864..dadf0a4e0923f512d9eb35875835f005c8a0d1e8 100644 (file)
--- a/v7/src/microcode/ntutl/scheme32.c
+++ b/v7/src/microcode/ntutl/scheme32.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: scheme32.c,v 1.1 1993/07/27 20:53:58 gjr Exp $
+$Id: scheme32.c,v 1.2 1993/08/03 22:27:42 gjr Exp $
 
 Copyright (c) 1993 Massachusetts Institute of Technology
 
@@ -109,6 +109,8 @@ win32_flush_async_timer (void * state)
   struct win32_timer_closure_s * timer_closure
     = ((struct win32_timer_closure_s *) state);
   
+  if (timer_closure == ((struct win32_timer_closure_s *) NULL))
+    return;
   if (timer_closure->timer_id != 0)
     (void) timeKillEvent (timer_closure->timer_id);