- testing 1:10.11.3-1
- unstable 1:10.11.3-1
- experimental 1:10.11.3-2~exp1
|MARIADB-WAITPID(1)||MariaDB Database System||MARIADB-WAITPID(1)|
mariadb-waitpid - kill process and wait for its termination (mysql_waitpid is now a symlink to mariadb-waitpid)
mysql_waitpid [options] pid wait_time
mysql_waitpid signals a process to terminate and waits for the process to exit. It uses the kill() system call and Unix signals, so it runs on Unix and Unix-like systems.
Invoke mysql_waitpid like this:
shell> mysql_waitpid [options] pid wait_time
mysql_waitpid sends signal 0 to the process identified by pid and waits up to wait_time seconds for the process to terminate. pid and wait_time must be positive integers.
If process termination occurs within the wait time or the process does not exist, mysql_waitpid returns 0. Otherwise, it returns 1.
If the kill() system call cannot handle signal 0, mysql_waitpid() uses signal 1 instead.
mysql_waitpid supports the following options:
Display a help message and exit.
Verbose mode. Display a warning if signal 0 could not be used and signal 1 is used instead.
Display version information and exit.
Copyright 2007-2008 MySQL AB, 2008-2010 Sun Microsystems, Inc., 2010-2020 MariaDB Foundation
This documentation is free software; you can redistribute it and/or modify it only under the terms of the GNU General Public License as published by the Free Software Foundation; version 2 of the License.
This documentation is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with the program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1335 USA or see http://www.gnu.org/licenses/.
For more information, please refer to the MariaDB Knowledge Base, available online at https://mariadb.com/kb/
MariaDB Foundation (http://www.mariadb.org/).
|15 May 2020||MariaDB 10.10|