Это то, что я имею прямо сейчас в bash script:
ps aux | grep glassfish | grep domain1 | gawk '{print $2}' | xargs kill -9
Проблема заключается в том, что, если кто-то еще зарегистрировался и потянул что-то, связанное с стекловидной рыбой, он также потянет этот ПИД. Таким образом, приводит к уничтожению неправильного ПИД.
Итак, мой вопрос заключается в том, как я могу исправить то, что мне нужно, чтобы вытащить правильный PID, и как его переписать, чтобы вытащить PID из файла PID, который генерирует стеклянная рыба.