mysql_waitpid

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.

Usage

mysql_waitpid [options] pid time

Description

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

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.