mysql_pid
is a utility for terminating processes. It runs on Unix-like systems, making use of the kill()
system call.
From MariaDB 10.4.6, mariadb-waitpid
is a symlink to mysql_waitpid
.
mysql_waitpid [options] pid time
mysql_pid
sends signal 0 to the process pid and waits up to time seconds for the process to terminate. pid and time must be positive integers.
Returns 0 if the process terminates in time, or does not exist, and 1 otherwise.
Signal 1 is used if the kill() system call cannot handle signal 0
Option | Description |
---|---|
-? , --help
|
Display help and exit |
-I , --help
|
Synonym for -? |
-v , --verbose
|
Be more verbose. Give a warning, if kill can't handle signal 0 |
-V , --version
|
Print version information and exit |
© 2019 MariaDB
Licensed under the Creative Commons Attribution 3.0 Unported License and the GNU Free Documentation License.
https://mariadb.com/kb/en/mysql_waitpid/