X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2Fmysql.php;h=1b575bb28a152d151e79d9711d434d9420ff91b8;hb=355e21590ae1c4360fc4ca77d0e9fdc4fe978c88;hp=6d0882a64aa759d85a40787e8973cccb7637efe1;hpb=966e34619bef0b2dd1e275565829ed2030edd564;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/mysql.php b/maintenance/mysql.php
index 6d0882a64a..1b575bb28a 100644
--- a/maintenance/mysql.php
+++ b/maintenance/mysql.php
@@ -165,6 +165,12 @@ class MysqlMaintenance extends Maintenance {
 
 		$args = array_merge( $args, $this->mArgs );
 
+		// Ignore SIGINT if possible, otherwise the wrapper terminates when the user presses
+		// ctrl-C to kill a query.
+		if ( function_exists( 'pcntl_signal' ) ) {
+			pcntl_signal( SIGINT, SIG_IGN );
+		}
+
 		$pipes = [];
 		$proc = proc_open( Shell::escape( $args ), $desc, $pipes );
 		if ( $proc === false ) {