changeset 396:cacd961d3405

Dirty workaround for produced zombie processes
author HIROSE Yuuji <yuuji@gentei.org>
date Sun, 25 Dec 2016 11:55:51 +0859
parents 3d82052c3cd3
children e9e8b4d40220
files s4-funcs.sh
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/s4-funcs.sh	Tue Dec 06 12:32:04 2016 +0859
+++ b/s4-funcs.sh	Sun Dec 25 11:55:51 2016 +0859
@@ -326,6 +326,9 @@
   exec 5> $sqi	# Turning $sqi access through fd5 for continuous open state
   rm $sqi
 }
+cleanup2() {	# Dirty workaround for produced zombie processes
+  pkill -9 -u `id -u` -P 1
+}
 cleanup() {
   trap '' INT HUP EXIT TERM PIPE
   echo .quit >&5
@@ -333,6 +336,7 @@
   kill $sq3pid
   rm -f $sqo $sqi
   rm -rf $tmpfiles
+  cleanup2
 }
 # We want to use piped function to put querylog, but we use
 # simple redirection for the sake of speed.

yatex.org