changeset 55643:ed93b07d7123

(_sys_read_ahead): Use w32_pipe_read_delay.
author Jason Rumney <jasonr@gnu.org>
date Mon, 17 May 2004 21:05:58 +0000
parents d69e0fb91340
children fa1998970a4d
files src/w32.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/w32.c	Mon May 17 21:05:06 2004 +0000
+++ b/src/w32.c	Mon May 17 21:05:58 2004 +0000
@@ -3486,7 +3486,7 @@
 }
 
 /* From ntproc.c */
-extern Lisp_Object Vw32_pipe_read_delay;
+extern int w32_pipe_read_delay;
 
 /* Function to do blocking read of one byte, needed to implement
    select.  It is only allowed on sockets and pipes. */
@@ -3526,7 +3526,7 @@
 	 shell on NT is very slow if we don't do this. */
       if (rc > 0)
 	{
-	  int wait = XINT (Vw32_pipe_read_delay);
+	  int wait = w32_pipe_read_delay;
 
 	  if (wait > 0)
 	    Sleep (wait);