changeset 516:575e321179c3

Do not call pkill cleanup on terminal
author HIROSE Yuuji <yuuji@gentei.org>
date Thu, 04 Apr 2019 10:26:33 +0900
parents 0b47ddf9c8de
children 6cdd032070e3
files s4-funcs.sh
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/s4-funcs.sh	Thu Apr 04 10:09:37 2019 +0900
+++ b/s4-funcs.sh	Thu Apr 04 10:26:33 2019 +0900
@@ -352,7 +352,9 @@
   rm $sqi
 }
 cleanup2() {	# Dirty workaround for produced zombie processes
-  pkill -9 -u `id -u` -P 1
+  if [ -z "$TTY" ]; then	# When called in daemon environment
+    pkill -9 -u `id -u` -P 1
+  fi
 }
 cleanup() {
   trap '' INT HUP EXIT TERM PIPE

yatex.org