scripts(scripts/setup/termux_setup_dotnet): use SIGKILL and wait in termux_dotnet_kill

Author: playday3008

scripts/build/setup/termux_setup_dotnet.sh

@@ -112,9 +112,16 @@ termux_setup_dotnet() {
 
 termux_dotnet_kill() {
 	# when "dotnet build-server shutdown" is not enough
+	# lingering processes inherit fd 5 (flock), blocking the next build
 	local dotnet_process
 	dotnet_process="$(pgrep -a dotnet)" || return 0
 	echo "WARN: Dangling process, forcibly killing"
 	echo "${dotnet_process}"
-	pkill dotnet || :
+	pkill -9 dotnet || :
+	# wait for processes to exit so fd 5 (flock) is released
+	local i
+	for i in $(seq 1 10); do
+		pgrep dotnet > /dev/null 2>&1 || break
+		sleep 1
+	done
 }