Pid file
Jump to navigation
Jump to search
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.