diff options
Diffstat (limited to 'dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch')
| -rw-r--r-- | dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch b/dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch deleted file mode 100644 index 1396f8de8aab..000000000000 --- a/dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/pgadmin/frm/plugins.cpp -+++ b/pgadmin/frm/plugins.cpp -@@ -380,7 +380,7 @@ bool pluginUtilityFactory::CheckEnable(p - { - // If we need a specific server type, we can't enable unless - // we have a connection. -- if (!obj || !(obj->GetConnection()->GetStatus() == PGCONN_OK)) -+ if (!obj || !obj->GetConnection() || !(obj->GetConnection()->GetStatus() == PGCONN_OK)) - return false; - - // Get the server type. |