Comme le titre l'indique, je gère plusieurs serveurs de jeu, et chacun d'entre eux a le même problème. name
mais différent PID
et le port
numéro. Je voudrais faire correspondre le PID
du serveur qui écoute sur un certain port, et ensuite je voudrais tuer ce processus. J'en ai besoin pour terminer mon bash script.
Est-ce que c'est possible ? Parce que je n'ai pas encore trouvé de solutions sur le web.