From 1737268d0942bb9de487ae156594dec6067313d1 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Wed, 5 May 2010 16:31:39 +0000
Subject: [PATCH] PostgreSQL variables

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@1522 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 adminer/drivers/pgsql.inc.php | 6 +++++-
 adminer/static/editing.js     | 5 ++++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/adminer/drivers/pgsql.inc.php b/adminer/drivers/pgsql.inc.php
index 477cefb3..883034b7 100644
--- a/adminer/drivers/pgsql.inc.php
+++ b/adminer/drivers/pgsql.inc.php
@@ -470,8 +470,12 @@ WHERE tc.constraint_type = 'FOREIGN KEY' AND tc.table_name = " . $connection->qu
 		return "\connect " . idf_escape($database);
 	}
 	
+	function show_variables() {
+		return get_key_vals("SHOW ALL");
+	}
+	
 	function support($feature) {
-		return ereg('^(comment|view|scheme|trigger|drop_col)$', $feature); //! routine|sequence|
+		return ereg('^(comment|view|scheme|trigger|variables|drop_col)$', $feature); //! routine|sequence|
 	}
 	
 	$driver = "pgsql";
diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index d6673896..483f9f06 100644
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -10,10 +10,13 @@ function bodyLoad(version) {
 	script.onload = function () {
 		if (window.jush) { // IE runs in case of an error too
 			jush.create_links = ' target="_blank"';
-			jush.urls.pgsql[0] = 'http://www.postgresql.org/docs/' + version + '/static/$key';
 			jush.urls.sql[0] = 'http://dev.mysql.com/doc/refman/' + version + '/en/$key';
+			jush.urls.sql_sqlset = jush.urls.sql[0];
 			jush.urls.sqlset[0] = jush.urls.sql[0];
 			jush.urls.sqlstatus[0] = jush.urls.sql[0];
+			jush.urls.pgsql[0] = 'http://www.postgresql.org/docs/' + version + '/static/$key';
+			jush.urls.pgsql_pgsqlset = jush.urls.pgsql[0];
+			jush.urls.pgsqlset[0] = 'http://www.postgresql.org/docs/' + version + '/static/runtime-config-$key.html#GUC-$1';
 			jush.style(jushRoot + 'jush.css');
 			if (window.jushLinks) {
 				jush.custom_links = jushLinks;