--- ray/src/rt/devcomm.c 2008/08/21 07:05:58 2.15 +++ ray/src/rt/devcomm.c 2011/10/05 17:20:55 2.16 @@ -1,5 +1,5 @@ #ifndef lint -static const char RCSid[] = "$Id: devcomm.c,v 2.15 2008/08/21 07:05:58 greg Exp $"; +static const char RCSid[] = "$Id: devcomm.c,v 2.16 2011/10/05 17:20:55 greg Exp $"; #endif /* * devcomm.c - communication routines for separate drivers. @@ -10,8 +10,11 @@ static const char RCSid[] = "$Id: devcomm.c,v 2.15 200 #include "copyright.h" #include -#include /* XXX platform specific */ +#ifndef _WIN32 +#include +#endif +#include "paths.h" #include "platform.h" #include "standard.h" #include "driver.h" @@ -144,8 +147,10 @@ comm_close(void) /* done with driver */ fclose(devin); if (devchild < 0) return; +#ifndef _WIN32 while ((pid = wait(0)) != -1 && pid != devchild) ; +#endif }