Pid file

Un pid file è un file, normalmente posizionato in /run o 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 dell'applicazione.