On Mon, Nov 18, 2013 at 12:00 PM, Akshay Joshi < akshay.jo...@enterprisedb.com> wrote:
> > > > On Mon, Nov 18, 2013 at 5:24 PM, Dave Page <dp...@pgadmin.org> wrote: > >> Hi >> >> >> On Mon, Nov 18, 2013 at 11:06 AM, Akshay Joshi < >> akshay.jo...@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"? > "Tunnel Port" seems like it would fit in with the existing UI a little better. -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company
