From 5f176d0b08ff25ef734dcf9a11e3d2a6bdd78d53 Mon Sep 17 00:00:00 2001
From: Unknown <>
Date: Thu, 31 Aug 2006 01:39:25 +0000
Subject: [PATCH] add files for 2006-08-31T01:39:25Z

---
 src/osdep/unix/gr_wait.c | 46 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 src/osdep/unix/gr_wait.c

diff --git a/src/osdep/unix/gr_wait.c b/src/osdep/unix/gr_wait.c
new file mode 100644
index 0000000..626c57e
--- /dev/null
+++ b/src/osdep/unix/gr_wait.c
@@ -0,0 +1,46 @@
+/* ========================================================================
+ * Copyright 1988-2006 University of Washington
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * 
+ * ========================================================================
+ */
+
+/*
+ * Program:	UNIX Grim PID Reaper -- wait() version
+ *
+ * Author:	Mark Crispin
+ *		Networks and Distributed Computing
+ *		Computing & Communications
+ *		University of Washington
+ *		Administration Building, AG-44
+ *		Seattle, WA  98195
+ *		Internet: MRC@CAC.Washington.EDU
+ *
+ * Date:	30 November 1993
+ * Last Edited:	30 August 2006
+ */
+ 
+/* Grim PID reaper
+ * Accepts: process ID
+ *	    kill request flag
+ *	    status return value
+ */
+
+void grim_pid_reap_status (int pid,int killreq,void *status)
+{
+  int r;
+  if (killreq) {
+    kill (pid,SIGHUP);		/* kill if not already dead */
+    alarm (10);			/* in case we get hosed */
+    while (((r = wait (NIL)) != pid) &&
+	   ((r > 0) || ((errno != ECHILD) && (errno != EINTR))));
+    alarm (0);			/* cancel the alarm */
+  }
+  else while (((r = wait (status)) != pid) && ((r > 0) || (errno != ECHILD)));
+}
-- 
2.40.0