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

Поиск

Список

Период

Сортировка

От	Akshay Joshi
Тема	Re: [pgadmin-support] Support for non standard SSH port
Дата	18 ноября 2013 г. 16:16:56
Msg-id	CANxoLDeFCwhoyrPs-eaEcUw1HKuGUjLJ3f7tHR2SE4vf60wJoQ@mail.gmail.com обсуждение исходный текст
Ответ на	Re: [pgadmin-support] Support for non standard SSH port (Dave Page <dpage@pgadmin.org>)
Ответы	Re: [pgadmin-support] Support for non standard SSH port (Dave Page <dpage@pgadmin.org>)
Список	pgadmin-hackers

Дерево обсуждения

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

On Mon, Nov 18, 2013 at 12:00 PM, Akshay Joshi <akshay.joshi@enterprisedb.com> wrote:

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"?

"Tunnel Port" seems like it would fit in with the existing UI a little better.