root@atde6:~/x1-debian-builder-v1.1.1# cat -n build.sh | grep -i '^ \+27' -a6 21 22 kill_inside_chroot(){ 23 CHROOT_PATH=$1 24 for ROOT in /proc/*/root; do 25 LINK=$(readlink $ROOT) 26 if [ "x$LINK" != "x" ]; then 27 if [ "x${LINK:0:${#CHROOT_PATH}}" = "x$CHROOT_PATH" ]; then 28 PID=$(basename $(dirname "$ROOT")) 29 kill -9 "$PID" 30 fi 31 fi 32 done 33 } root@atde6:~/x1-debian-builder-v1.1.1#