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, 11 insertions, 0 deletions
diff --git a/dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch b/dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch new file mode 100644 index 000000000000..1396f8de8aab --- /dev/null +++ b/dev-db/pgadmin3/files/pgadmin3-gcc6-null-pointer.patch @@ -0,0 +1,11 @@ +--- 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. |