fix mysql port

diff --git a/UpdateDatabase.php b/UpdateDatabase.php
index d3ec063..f2f1663 100644 (file)
--- a/UpdateDatabase.php
+++ b/UpdateDatabase.php
@@ -498,6 +498,7 @@ class Pman_Core_UpdateDatabase extends Pman
            
         $mysql_cmd = $mysql .
             ' -h ' . $dburl['host'] .
+            (empty($dburl['port']) ? '' : " -P{$dburl['port']} ") .
             ' -u' . escapeshellarg($dburl['user']) .
             (!empty($dburl['pass']) ? ' -p' . escapeshellarg($dburl['pass'])  :  '') .
             ' ' . basename($dburl['path']);