From 8f0d5f32785733bb6e41ae85b5841e5c16babab3 Mon Sep 17 00:00:00 2001
From: Jamie Cameron <jcameron@webmin.com>
Date: Sun, 16 Dec 2007 05:58:12 +0000
Subject: [PATCH] Don't show useless heading

---
 postgresql/index.cgi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/postgresql/index.cgi b/postgresql/index.cgi
index af0db35d0..797a91938 100755
--- a/postgresql/index.cgi
+++ b/postgresql/index.cgi
@@ -150,7 +150,7 @@ else {
 		}
 
 	&main_header();
-	print &ui_subheading($text{'index_dbs'});
+	print &ui_subheading($text{'index_dbs'}) if ($access{'users'});
 	if ($in{'search'}) {
 		# Limit to those matching search
 		@titles = grep { /\Q$in{'search'}\E/i } @titles;