From 4a455c3e626163b95a20fbfe85494ebcacab0224 Mon Sep 17 00:00:00 2001
From: Rouslan Placella <rouslan@placella.com>
Date: Fri, 10 Jun 2011 16:05:38 +0100
Subject: [PATCH] Fixed bug where the "Execute Routine" link was shown to
 unprivileged users.

---
 libraries/db_routines.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/db_routines.inc.php b/libraries/db_routines.inc.php
index bbb68a1db0..0fbd7663b1 100644
--- a/libraries/db_routines.inc.php
+++ b/libraries/db_routines.inc.php
@@ -1171,7 +1171,7 @@ function routineMakeRowForList($routine, $ct = 0) {
                           . '&amp;routine_name=' . urlencode($routine['SPECIFIC_NAME'])
                           . '">' . $titles['Edit'] . '</a>';
     }
-    if (PMA_currentUserHasPrivilege('EXECUTE', $db)) {
+    if ($routine['ROUTINE_DEFINITION'] !== NULL && PMA_currentUserHasPrivilege('EXECUTE', $db)) {
         // Check if he routine has any input parameters. If it does,
         // we will show a dialog to get values for these parameters,
         // otherwise we can execute it directly.