A working solution is to add the NON STANDARD Database Port to the wordpress config.
So instead of:
/** Database hostname */
define( 'DB_HOST', 'localhost' );
You can set the port as following:
/** Database hostname */
define( 'DB_HOST', 'localhost:10012' );
Where :10012 is the port used.
Hope this helps.
Regards
Frank