Pid file: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
mNessun oggetto della modifica |
mNessun oggetto della modifica |
||
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. | |||
Normalmente si tratta di file vuoti, ma qualche volta possono contenere il [[pid]] della applicazione. | |||
[[Category:Glossario]] | |||
Versione delle 15:58, 26 dic 2006
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.