Pid file
Vai alla navigazione
Vai alla ricerca
Un pid file è un file, normalmente posizionato in /var/run od in una sua sottodirectory, che viene utilizzato da applicazioni o [[]script di avvio]] per controllare se è già attiva un'altra istanza del programma.
Normalmente si tratta di file vuoti, ma qualche volta possono contenere il pid della applicazione.