# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1482634552 -32399
# Node ID cacd961d34054041bd363cee4fa4a718adeea2bf
# Parent  3d82052c3cd33b3eb5d8e07799ea8c30ae2efded
Dirty workaround for produced zombie processes

diff -r 3d82052c3cd3 -r cacd961d3405 s4-funcs.sh
--- 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.