Bash Script, Kill processus en tirant du fichier PID

C'est ce que j'ai en ce moment dans le script bash:

ps aux | grep glassfish | grep domain1 | gawk '{print $2}' | xargs kill -9

Le problème avec cela est que si quelqu'un d'autre est connecté et en tirant quelque chose lié à glassfish, il wil tirer la PID. Donc en tuant le mal PID.

Donc Ma question est comment puis-je corriger ce que je n'ai qu'à tirer la bonne PID, et comment dois-je réécrire à tirer le PID du fichier PID que glassfish génère.

source d'informationauteur Joshua Sutton