diff host/check_app.sh @ 2030:ee75b5c12272 default tip

finish rename
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 31 Oct 2025 09:02:10 -0600
parents 677795f0a4e7
children
line wrap: on
line diff
--- a/host/check_app.sh	Thu Oct 30 21:25:37 2025 -0700
+++ b/host/check_app.sh	Fri Oct 31 09:02:10 2025 -0600
@@ -3,7 +3,7 @@
 export PATH="$PATH:/usr/local/bin";
 
 function getPids() {
-  PIDS=$(ps ax | awk '{if($0~"[r]un(_host)?.luan"){print $1}}');
+  PIDS=$(ps ax | awk '{if($0~"[r]un_host.luan"){print $1}}');
 }
 
 function checkStopped() {