From 7bd05bacaf1d92172fe8f1f9c5a97b3b06119da2 Mon Sep 17 00:00:00 2001 From: mattes Date: Fri, 16 Aug 2013 19:20:01 +0200 Subject: [PATCH] fixed bug, when having a port number in host --- php/commands/db.php | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/php/commands/db.php b/php/commands/db.php index 66ed93d5..fc04951e 100644 --- a/php/commands/db.php +++ b/php/commands/db.php @@ -119,9 +119,17 @@ class DB_Command extends WP_CLI_Command { function export( $args, $assoc_args ) { $result_file = $this->get_file_name( $args ); - self::run( 'mysqldump', Utils\esc_cmd( - '%s --user=%s --host=%s --result-file %s', - DB_NAME, DB_USER, DB_HOST, $result_file ) ); + if( strpos( DB_HOST, ':' ) !== false ) { + // extract port from host + $DB_HOST = preg_split("/:/", DB_HOST); + self::run( 'mysqldump', Utils\esc_cmd( + '%s --user=%s --host=%s --port=%s --result-file %s', + DB_NAME, DB_USER, $DB_HOST[0], $DB_HOST[1], $result_file ) ); + } else { + self::run( 'mysqldump', Utils\esc_cmd( + '%s --user=%s --host=%s --result-file %s', + DB_NAME, DB_USER, DB_HOST, $result_file ) ); + } WP_CLI::success( sprintf( 'Exported to %s', $result_file ) ); } -- 2.11.0