Pid file: differenze tra le versioni

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.