MARIADB-WAITPID(1) | MariaDB Database System | MARIADB-WAITPID(1) |
NAME
mariadb-waitpid - kill process and wait for its termination (mariadb-waitpid is now a symlink to mariadb-waitpid)
SYNOPSIS
mariadb-waitpid [options] pid wait_time
DESCRIPTION
mariadb-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 mariadb-waitpid like this:
shell> mariadb-waitpid [options] pid wait_time
mariadb-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, mariadb-waitpid returns 0. Otherwise, it returns 1.
If the kill() system call cannot handle signal 0, mariadb-waitpid() uses signal 1 instead.
mariadb-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
Copyright 2007-2008 MySQL AB, 2008-2010 Sun Microsystems, Inc., 2010-2024 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/.
SEE ALSO
For more information, please refer to the MariaDB Knowledge Base, available online at https://mariadb.com/kb/
AUTHOR
MariaDB Foundation (http://www.mariadb.org/).
3 September 2024 | MariaDB 11.4 |