# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1179270228 0
# Node ID cc3d57dc8761a803675d8688f661f8e469c8b7f3
# Parent  255803121dae09d6fdd2d10604e52ea44bfe1149
(w32_console_read_socket): Make first arg a frame.

diff -r 255803121dae -r cc3d57dc8761 src/w32inevt.c
--- a/src/w32inevt.c	Tue May 15 23:03:26 2007 +0000
+++ b/src/w32inevt.c	Tue May 15 23:03:48 2007 +0000
@@ -643,7 +643,9 @@
 }
 
 int
-w32_console_read_socket (int sd, int expected, struct input_event *hold_quit)
+w32_console_read_socket (struct terminal *terminal,
+                         int expected,
+                         struct input_event *hold_quit)
 {
   BOOL no_events = TRUE;
   int nev, ret = 0, add;