pgAdmin III commit: Prevent a crash if a trigger that's been dropped in - Mailing list pgadmin-hackers

Prevent a crash if a trigger that's been dropped in another session
is refreshed.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=d088f4cdca88ba9d5b7f3b6c0c226dd869cdc19c

Modified Files
--------------
pgadmin/include/schema/pgTrigger.h |   10 +++++++++-
pgadmin/schema/pgTrigger.cpp       |    3 ++-
2 files changed, 11 insertions(+), 2 deletions(-)