Qu'est-ce qu'un fichier .pid et que contient-il?
Je suis récemment tombé sur un fichier avec l'extension .pid et j'ai exploré l'intérieur, mais je n'ai pas trouvé grand chose. La documentation dit:
Un fichier pid est un fichier contenant le numéro d'identification du processus (pid) stocké dans un emplacement bien défini du système de fichiers, permettant ainsi à d'autres programmes de connaître le pid d'un script en cours d'exécution.
Quelqu'un peut-il m'éclairer davantage ou me donner des détails sur le contenu du fichier pid?
Les fichiers pid contiennent l'identifiant du processus (un numéro) d'un programme donné. Par exemple, Apache HTTPD peut écrire son numéro de processus principal dans un fichier pid - qui est un fichier texte standard, rien de plus - et utiliser plus tard les informations qu'il contient pour s’arrêter. Vous pouvez également utiliser cette information pour tuer le processus vous-même, en utilisant cat filename.pid | xargs kill
Pour comprendre les fichiers pid, reportez-vous à ceci DOC
Parfois, certaines applications nécessitent un support supplémentaire de plug-ins et d'utilitaires supplémentaires. Donc, il garde une trace de ces utilitaires et le processus du plugin exécute les identifiants en utilisant ce fichier pid pour référence.
C'est pourquoi chaque fois que vous redémarrez une application, tous les plug-ins nécessaires et les applications dépendantes doivent être redémarrés, car le fichier pid deviendra obsolète.