|
NAME | SYNOPSIS | DESCRIPTION | COPYRIGHT | SEE ALSO | AUTHOR | COLOPHON |
MYSQL_WAITPID(1) MariaDB Database System MYSQL_WAITPID(1)
mysql_waitpid - kill process and wait for its termination
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:
· --help, -?, -I
Display a help message and exit.
· --verbose, -v
Verbose mode. Display a warning if signal 0 could not be used and
signal 1 is used instead.
· --version, -V
Display version information and exit.
Copyright 2007-2008 MySQL AB, 2008-2010 Sun Microsystems, Inc.,
2010-2015 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-1301 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/).
This page is part of the MariaDB (MariaDB database server) project.
Information about the project can be found at ⟨http://mariadb.org/⟩.
If you have a bug report for this manual page, see
⟨https://mariadb.com/kb/en/mariadb/reporting-bugs/⟩. This page was
obtained from the project's upstream Git repository
⟨https://github.com/MariaDB/server⟩ on 2017-07-05. If you discover
any rendering problems in this HTML version of the page, or you
believe there is a better or more up-to-date source for the page, or
you have corrections or improvements to the information in this
COLOPHON (which is not part of the original manual page), send a mail
to man-pages@man7.org
MariaDB 10.1 14/12/2015 MYSQL_WAITPID(1)