*
*/
#ifndef lint
-static const char rcsid[] = "$Id: cgi-fcgi.c,v 1.15 2001/09/01 01:14:28 robs Exp $";
+static const char rcsid[] = "$Id: cgi-fcgi.c,v 1.16 2003/06/22 02:02:33 robs Exp $";
#endif /* not lint */
#include <assert.h>
static void FCGIexit(int exitCode)
{
if(appServerSock != -1) {
- OS_Close(appServerSock);
+ OS_Close(appServerSock, TRUE);
appServerSock = -1;
}
OS_LibShutdown();
exit(FCGX_PROTOCOL_ERROR);
}
if(appServerSock != -1) {
- OS_Close(appServerSock);
+ OS_Close(appServerSock, TRUE);
appServerSock = -1;
}
/*
exit(OS_Errno);
}
}
- OS_Close(listenFd);
+ OS_Close(listenFd, TRUE);
}
\f
/*