Re: [pgadmin-support] Support for non standard SSH port

On Mon, Nov 18, 2013 at 5:24 PM, Dave Page <dpage@pgadmin.org> wrote:

Hi

On Mon, Nov 18, 2013 at 11:06 AM, Akshay Joshi <akshay.joshi@enterprisedb.com> wrote:

Hi Dave

I have added support for non standard remote SSH port. I have added one control to take input for "Default SSH port" from the user in SSH Tunnel tab, by default it is 22, but user can modify it.

Attached is the patch file, can you please review it. If it looks good to you can you please commit it.  

Shouldn't it just be "SSH Port"?

   OR "Remote SSH Port"?