changeset 517:6cdd032070e3

$TTY not set on sh-script
author HIROSE Yuuji <yuuji@gentei.org>
date Thu, 04 Apr 2019 10:31:10 +0900
parents 575e321179c3
children f330dcb80a7f
files s4-funcs.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/s4-funcs.sh	Thu Apr 04 10:26:33 2019 +0900
+++ b/s4-funcs.sh	Thu Apr 04 10:31:10 2019 +0900
@@ -352,7 +352,7 @@
   rm $sqi
 }
 cleanup2() {	# Dirty workaround for produced zombie processes
-  if [ -z "$TTY" ]; then	# When called in daemon environment
+  if [ -n "$HTTP_USER_AGENT" ]; then	# When called from httpd
     pkill -9 -u `id -u` -P 1
   fi
 }

yatex.org