comparison 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
comparison
equal deleted inserted replaced
2029:5fa5a7efc936 2030:ee75b5c12272
1 PIDS=""; 1 PIDS="";
2 2
3 export PATH="$PATH:/usr/local/bin"; 3 export PATH="$PATH:/usr/local/bin";
4 4
5 function getPids() { 5 function getPids() {
6 PIDS=$(ps ax | awk '{if($0~"[r]un(_host)?.luan"){print $1}}'); 6 PIDS=$(ps ax | awk '{if($0~"[r]un_host.luan"){print $1}}');
7 } 7 }
8 8
9 function checkStopped() { 9 function checkStopped() {
10 getPids; 10 getPids;
11 if [ "$PIDS" != "" ]; then 11 if [ "$PIDS" != "" ]; then