aboutsummaryrefslogtreecommitdiffhomepage
path: root/index.php
diff options
context:
space:
mode:
Diffstat (limited to 'index.php')
-rw-r--r--index.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.php b/index.php
index 4b86a3e2..8f6ee50a 100644
--- a/index.php
+++ b/index.php
@@ -1236,10 +1236,10 @@ function renderPage($conf, $pluginManager, $LINKSDB, $history, $sessionManager,
1236 $id = (int) escape($id); 1236 $id = (int) escape($id);
1237 $link = $LINKSDB[$id]; 1237 $link = $LINKSDB[$id];
1238 $pluginManager->executeHooks('delete_link', $link); 1238 $pluginManager->executeHooks('delete_link', $link);
1239 $history->deleteLink($link);
1239 unset($LINKSDB[$id]); 1240 unset($LINKSDB[$id]);
1240 } 1241 }
1241 $LINKSDB->save($conf->get('resource.page_cache')); // save to disk 1242 $LINKSDB->save($conf->get('resource.page_cache')); // save to disk
1242 $history->deleteLink($link);
1243 1243
1244 // If we are called from the bookmarklet, we must close the popup: 1244 // If we are called from the bookmarklet, we must close the popup:
1245 if (isset($_GET['source']) && ($_GET['source']=='bookmarklet' || $_GET['source']=='firefoxsocialapi')) { echo '<script>self.close();</script>'; exit; } 1245 if (isset($_GET['source']) && ($_GET['source']=='bookmarklet' || $_GET['source']=='firefoxsocialapi')) { echo '<script>self.close();</script>'; exit; }