mariadb-waitpid
mariadb_waitpid is a utility for terminating processes. It runs on Unix-like systems, making use of the kill() system call.
Prior to MariaDB 10.5, the client was called mysql_waitpid. It can still be accessed under this name, via a symlink in Linux, or an alternate binary in Windows.
Usage
mariadb-waitpid [options] pid time
Description
mariadb-waitpid 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
Options
| 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 |
Comments
Comments loading...
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.
