+
+ # account with weird port number
+ if ($config{'jserver'} =~ /(.*):(\d+)/) {
+ $config{'jserver'} = $1;
+ $config{'port'} = $2;
+ }
+
+ # account with specific connection host
+ if ($config{'jserver'} =~ /(.*);([-\.\w]+)/) {
+ $config{'jserver'} = $2;
+ $config{'username'} .= "\@$1";
+ }