Ubuntu
pgadmin3 package

  1. Bug #780565
  2. Comment #5

Comment 5 for bug 780565

Revision history for this message
Walter Scheper (ratlaw) wrote :

As an additional workaround you can manually set the SSL option in $HOME/.pgadmin3. Just create the server entry as usual and then close pgadmi3. Then edit $HOME/.pgadmin3 and change SSL=-1 to SSL=0, for "preferred." I wasn't able to permanently change SSL to "required."