From c7a1ee31219cfdedca9bfe94a1a5f9e691c2a0dc Mon Sep 17 00:00:00 2001
From: ctrlcctrlv <wizardchan@hush.com>
Date: Thu, 22 Aug 2013 16:51:28 +0000
Subject: [PATCH] Bug: deleting posts doesn't rebuld index

---
 inc/functions.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/inc/functions.php b/inc/functions.php
index 8de88ecf..dcce3d37 100644
--- a/inc/functions.php
+++ b/inc/functions.php
@@ -1007,6 +1007,7 @@ function deletePost($id, $error_if_doesnt_exist=true, $rebuild_after=true) {
 	$query->execute() or error(db_error($query));
 
 	if (isset($rebuild) && $rebuild_after) {
+		buildIndex();
 		buildThread($rebuild);
 	}