Pid file: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
mNessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| (4 versioni intermedie di 3 utenti non mostrate) | |||
| Riga 1: | Riga 1: | ||
Un [[pid file]] è un file, normalmente posizionato in ''' | 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]] | Normalmente si tratta di file vuoti, ma qualche volta possono contenere il [[pid]] dell'applicazione. | ||
[[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.