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

OptionDescription
-?, --helpDisplay help and exit
-I, --helpSynonym for -?
-v, --verboseBe more verbose. Give a warning, if kill can't handle signal 0
-V, --versionPrint 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.