diff src/gui.c @ 1757:f10fe14748e2 v7.2.055

updated for version 7.2-055
author vimboss
date Fri, 28 Nov 2008 20:29:07 +0000
parents 0dbc46d14443
children 59edc8429da0
line wrap: on
line diff
--- a/src/gui.c
+++ b/src/gui.c
@@ -139,7 +139,7 @@ gui_start()
 		/* The read returns when the child closes the pipe (or when
 		 * the child dies for some reason). */
 		close(pipefd[1]);
-		(void)read(pipefd[0], &dummy, (size_t)1);
+		ignored = (int)read(pipefd[0], &dummy, (size_t)1);
 		close(pipefd[0]);
 	    }