From ac5361572fe2ac13545361793720ea2c55887461 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= <lolo@phpheaven.net>
Date: Thu, 6 Sep 2001 20:17:32 +0000
Subject: [PATCH] bad link id in a mysql_free_result

---
 tbl_properties.php3 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tbl_properties.php3 b/tbl_properties.php3
index 13ba316484..50c321cdc7 100755
--- a/tbl_properties.php3
+++ b/tbl_properties.php3
@@ -63,8 +63,8 @@ if (!empty($table)) {
 if (empty($table) || !@mysql_numrows($is_table)) {
     header('Location: ' . $cfgPmaAbsoluteUri . 'db_details.php3?lang=' . $lang . '&server=' . $server . '&db=' . urlencode($db) . '&reload=true');
     exit();
-} else {
-    mysql_free_result($result);
+} else if (isset($is_table)) {
+    mysql_free_result($is_table);
 }