mysql_waitpid
Contents
mysql_pid è una utility che serve a terminare i processi. Funziona sui sistemi Unix-like, tramite la chiamata di sistema kill().
Utilizzo
mysql_waitpid [opzioni] #pid #tempo
Spiegazione
mysql_pid invia un segnale 0 ai processi pid e attende fino a tempo secondi che il processo termini. pid e tempo devono essere interi positivi.
Restituisce 0 if the process terminates nel tempo indicato, o se non esiste, altrimenti restituisce 1.
Se il sistema non sa gestire il segnale 0, viene usato il segnale 1.
Opzioni
| Opzione | Spiegazione |
|---|---|
| -?, --help | Mostra l'help e termina |
| -I, --help | Sinonimo di -? |
| -v, --verbose | Più verboso. Dà un warning, se kill non può gestire il segnale 0 |
| -V, --version | Stampa le informazioni sulla versione e termina |
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
