Force bookmark ID to be integer

This commit is contained in:
Michal Čihař
2011-02-11 14:53:47 +01:00
parent a5464b4daf
commit 7f975c8107

View File

@@ -151,6 +151,7 @@ $bookmark_created = FALSE;
// Bookmark Support: get a query back from bookmark if required // Bookmark Support: get a query back from bookmark if required
if (!empty($id_bookmark)) { if (!empty($id_bookmark)) {
$id_bookmark = (int)$id_bookmark;
require_once './libraries/bookmark.lib.php'; require_once './libraries/bookmark.lib.php';
switch ($action_bookmark) { switch ($action_bookmark) {
case 0: // bookmarked query that have to be run case 0: // bookmarked query that have to be run