wait for child processes when we close pipes. fixes #37.

e92fd762 · Tomoyuki Sahara · 3a97a453 · e92fd762
Commit e92fd762 authored Apr 03, 2015 by Tomoyuki Sahara
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

src/io.c src/io.c +7 -0

No files found.
--- a/src/io.c
+++ b/src/io.c
@@ -351,6 +351,13 @@ fptr_finalize(mrb_state *mrb, struct mrb_io *fptr, int noraise)
    }
  }

+  if (fptr->pid != 0) {
+    pid_t pid;
+    do {
+      pid = waitpid(fptr->pid, NULL, 0);
+    } while (pid == -1 && errno == EINTR);
+  }
+
  if (!noraise && n != 0) {
    mrb_sys_fail(mrb, "fptr_finalize failed.");
  }