$cfg['AllowArbitraryServer']:
If enabled allows you to log in to arbitrary servers using cookie auth.
==========
The login page allows the user to type an arbitrary server host (as documented), but *does not* allow the user to specify the mysql server port, neither understands the host:port format.
Please extend the functionality to either support host:port notation in the Server field in the Log In page or add a dedicated text field for the port number.
==========
Background:
I am connecting to MySQL severs via ssh tunnels, which tunnels maps several ports to several remote MySQL servers. For different reasons it is not usable for me to configure all the used tunnels in the config.inc.php file. Thus I need to be able to specify the [mapped by the tunnel] port number together with the host in the Log In page.
Logged In: YES
user_id=192186
Originator: NO
Allowing host:port notation would be problematic if somebody would want to use IPv6 address.
Logged In: YES
user_id=192186
Originator: NO
Anyway I think using space for port separation would be okay, wouldn't it?
Logged In: YES
user_id=192186
Originator: NO
Implemented in svn, you can now enter 'host port'.
still missing in the docs, no?