Pid file: differenze tra le versioni

Da Guide@Debianizzati.Org.
Vai alla navigazione Vai alla ricerca
mNessun oggetto della modifica
mNessun oggetto della modifica
 
(2 versioni intermedie di 2 utenti non mostrate)
Riga 1: Riga 1:
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.
Un [[pid file]] è un file, normalmente posizionato in <code>'''/run'''</code> 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]] della applicazione.
Normalmente si tratta di file vuoti, ma qualche volta possono contenere il [[pid]] dell'applicazione.


[[Category:Glossario]]
[[Categoria:Glossario]]

Versione attuale delle 13:15, 20 apr 2013

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.