Pid file

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.