Mercurial Hosting > luan
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() {
