Pid file

Da Guide@Debianizzati.Org.

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.

Strumenti personali
Namespace
Varianti
Azioni
Navigazione
Risorse
Strumenti