undefined index when deleting a bookmark

2007-04-06 13:43:04 +00:00
parent 0c5cba1973
commit 8b21bac2bd
1 changed files with 3 additions and 1 deletions
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -1410,7 +1410,9 @@ if (typeof(window.parent) != 'undefined'
            }

            // Parse SQL if needed
-            if (isset($GLOBALS['parsed_sql']) && $query_base == $GLOBALS['parsed_sql']['raw']) {
+            // (here, use "! empty" because when deleting a bookmark,
+            // $GLOBALS['parsed_sql'] is set but empty
+            if (! empty($GLOBALS['parsed_sql']) && $query_base == $GLOBALS['parsed_sql']['raw']) {
                $parsed_sql = $GLOBALS['parsed_sql'];
            } else {
                // when the query is large (for example an INSERT of binary