From a3215b2369a2572fb093b944b8f251e6dcd61ef1 Mon Sep 17 00:00:00 2001
From: "Guillermo J. Rozas" <edu/mit/csail/zurich/gjr>
Date: Tue, 3 Aug 1993 22:27:42 +0000
Subject: [PATCH] Fix problem when shutting down before having set up the
 timer.

---
 v7/src/microcode/ntutl/scheme32.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/v7/src/microcode/ntutl/scheme32.c b/v7/src/microcode/ntutl/scheme32.c
index cbe83e03f..dadf0a4e0 100644
--- 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);
   
-- 
2.25.1