# HG changeset patch
# User Andrew Innes <andrewi@gnu.org>
# Date 898536785 0
# Node ID 0e7c65caf1cbafd116d4e63b3bf2eabccbf07299
# Parent  45ccce07729d7498390caaa1f89917ec88a8d844
(initialize_w32_display): Call init_crit to initialize
interrupt_handle (referenced by sys_select).

diff -r 45ccce07729d -r 0e7c65caf1cb src/w32console.c
--- a/src/w32console.c	Mon Jun 22 17:21:56 1998 +0000
+++ b/src/w32console.c	Mon Jun 22 17:33:05 1998 +0000
@@ -528,6 +528,9 @@
   read_socket_hook = w32_console_read_socket;
   mouse_position_hook = w32_console_mouse_position;
 
+  /* Initialize interrupt_handle.  */
+  init_crit ();
+
   /* Remember original console settings.  */
   keyboard_handle = GetStdHandle (STD_INPUT_HANDLE);
   GetConsoleMode (keyboard_handle, &prev_console_mode);