Pid file: differenze tra le versioni

Pid file (visualizza wikitesto)

5 byte rimossi , 17 mar 2013

m

nessun oggetto della modifica

6 999

contributi

@@ Riga 1: / Riga 1: @@
-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.
+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]] dell'applicazione.
 [[Category:Glossario]]