1 508
contributi
Pid file: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m
nessun oggetto della modifica
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 | Un [[pid file]] è un file, normalmente posizionato in <code>'''/var/run'''</code> 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]] | Normalmente si tratta di file vuoti, ma qualche volta possono contenere il [[pid]] dell'applicazione. | ||
[[Category:Glossario]] | [[Category:Glossario]] | ||