PGAdmin should attempt to refresh the database if the user tries to interact with a database that's disconnected

Aberta
#9,700 0 comentários 0 reações 0 responsáveis Ver no GitHub

Mantenedores costumam responder em até 2 dias

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
38/100
Tipo de issue
Funcionalidade
Clareza
Razoavelmente clara
Status de atividade
Estagnada
Stack de tecnologia
postgresql, python
Domínio
databases

Direção de pesquisa

No files, tests, or entry points are named. Reproduce the object-view interaction after dropdb/createdb or a VPN interruption, then trace how pgAdmin handles a disconnected database; done means an optional reconnect attempt restores interaction without requiring a manual refresh.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

Feature

As a backend developer I often dropdb, createdb + repopulate when I come back to the object view I have to right click and refresh, even though I have a new database with exactly the same name as the previous one.

It would be good if pgadmin4 could (optionally) try and reconnect at least once - if I do something in the object view + it's lost it's connection.

This would be good in other work-related circumstances too - there's a VPN and so I periodically have to reconnect things, and pgadmin is yet another place I have to do a reconnection ceremony that I'd like to have automated.

Linguagem predominante
Python
Estrelas
3.9k
Forks
918
Merge médio
2d 19h
PRs com merge (30d)
28

Preparar o ambiente

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de pgadmin-org/pgadmin4

Todas as issues de pgadmin-org/pgadmin4

Issues semelhantes

Mais issues de Python

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.