1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-22 16:33:00 +00:00

Bugfix index comparison. I think this fixes #29.

This commit is contained in:
Starbeamrainbowlabs 2015-11-01 14:26:13 +00:00
parent 2dff5fe655
commit 1c58a64134
4 changed files with 51 additions and 17 deletions

View file

@ -1488,7 +1488,6 @@ class search
$index = []; $index = [];
// Regex from
$terms = self::tokenize($source); $terms = self::tokenize($source);
$i = 0; $i = 0;
foreach($terms as $term) foreach($terms as $term)
@ -1559,14 +1558,18 @@ class search
* @param {array} $removed - An array to be filled with the nterms of all * @param {array} $removed - An array to be filled with the nterms of all
* the removed entries. * the removed entries.
*/ */
public static function compare_indexes($indexa, $indexb, &$changed, &$removed) public static function compare_indexes($oldindex, $newindex, &$changed, &$removed)
{ {
foreach ($indexa as $nterm => $entrya) foreach($oldindex as $nterm => $entry)
{ {
if(!isset($indexb[$nterm])) if(!isset($newindex[$nterm]))
$removed[] = $nterm; $removed[] = $nterm;
$entryb = $indexb[$nterm]; }
if($entrya !== $entryb) $changed[] = $nterm; foreach($newindex as $nterm => $entry)
{
if(!isset($oldindex[$nterm]) or // If this world is new
$newindex[$nterm] !== $oldindex[$nterm]) // If this word has changed
$changed[$nterm] = $newindex[$nterm];
} }
} }
@ -1603,6 +1606,13 @@ class search
return ($a["freq"] < $b["freq"]) ? +1 : -1; return ($a["freq"] < $b["freq"]) ? +1 : -1;
}); });
} }
// Sort the inverted index by rank
uasort($invindex, function($a, $b) {
$ac = count($a); $bc = count($b);
if($ac == $bc) return 0;
return ($ac < $bc) ? +1 : -1;
});
} }
public static function save_invindex($filename, &$invindex) public static function save_invindex($filename, &$invindex)
@ -2284,7 +2294,7 @@ register_module([
} }
$content = "<h1>$title</h1>"; $content = "<h1>$title</h1>";
$page_tags = implode(", ", (!empty($pageindex->{$env->page}->tags)) ? $pageindex->{$env->page}->tags : [ "" ]); $page_tags = implode(", ", (!empty($pageindex->{$env->page}->tags)) ? $pageindex->{$env->page}->tags : []);
if(!$env->is_logged_in and $settings->anonedits) if(!$env->is_logged_in and $settings->anonedits)
{ {
$content .= "<p><strong>Warning: You are not logged in! Your IP address <em>may</em> be recorded.</strong></p>"; $content .= "<p><strong>Warning: You are not logged in! Your IP address <em>may</em> be recorded.</strong></p>";
@ -2361,6 +2371,12 @@ register_module([
// Construct an index for the old and new page content // Construct an index for the old and new page content
$oldindex = search::index(file_get_contents("$env->page.md")); $oldindex = search::index(file_get_contents("$env->page.md"));
$newindex = search::index($pagedata); $newindex = search::index($pagedata);
echo("old: ");
var_dump($oldindex);
echo("new: ");
var_dump($newindex);
// Compare the indexes of the old and new content // Compare the indexes of the old and new content
$additions = []; $additions = [];
$removals = []; $removals = [];
@ -2416,13 +2432,14 @@ register_module([
else else
http_response_code(200); http_response_code(200);
// header("content-type: text/plain");
header("location: index.php?page=$env->page&edit_status=success&redirect=no"); header("location: index.php?page=$env->page&edit_status=success&redirect=no");
exit(); exit();
} }
else else
{ {
http_response_code(507); http_response_code(507);
exit(page_renderer::render_main("Error saving page - $settings->sitename", "<p>$settings->sitename failed to write your changes to the disk. Your changes have not been saved, but you might be able to recover your edit by pressing the back button in your browser.</p> exit(page_renderer::render_main("Error saving page - $settings->sitename", "<p>$settings->sitename failed to write your changes to the server's disk. Your changes have not been saved, but you might be able to recover your edit by pressing the back button in your browser.</p>
<p>Please tell the administrator of this wiki (" . $settings->admindetails["name"] . ") about this problem.</p>")); <p>Please tell the administrator of this wiki (" . $settings->admindetails["name"] . ") about this problem.</p>"));
} }
}); });

View file

@ -50,7 +50,7 @@
"author": "Starbeamrainbowlabs", "author": "Starbeamrainbowlabs",
"description": "Adds proper search functionality to Pepperminty Wiki. Note that this module, at the moment, just contains test code while I figure out how best to write a search engine.", "description": "Adds proper search functionality to Pepperminty Wiki. Note that this module, at the moment, just contains test code while I figure out how best to write a search engine.",
"id": "feature-search", "id": "feature-search",
"lastupdate": 1446372585, "lastupdate": 1446387843,
"optional": false "optional": false
}, },
{ {
@ -86,7 +86,7 @@
"author": "Starbeamrainbowlabs", "author": "Starbeamrainbowlabs",
"description": "Allows you to edit pages by adding the edit and save actions. You should probably include this one.", "description": "Allows you to edit pages by adding the edit and save actions. You should probably include this one.",
"id": "page-edit", "id": "page-edit",
"lastupdate": 1446314649, "lastupdate": 1446387938,
"optional": false "optional": false
}, },
{ {

View file

@ -144,7 +144,6 @@ class search
$index = []; $index = [];
// Regex from
$terms = self::tokenize($source); $terms = self::tokenize($source);
$i = 0; $i = 0;
foreach($terms as $term) foreach($terms as $term)
@ -215,14 +214,18 @@ class search
* @param {array} $removed - An array to be filled with the nterms of all * @param {array} $removed - An array to be filled with the nterms of all
* the removed entries. * the removed entries.
*/ */
public static function compare_indexes($indexa, $indexb, &$changed, &$removed) public static function compare_indexes($oldindex, $newindex, &$changed, &$removed)
{ {
foreach ($indexa as $nterm => $entrya) foreach($oldindex as $nterm => $entry)
{ {
if(!isset($indexb[$nterm])) if(!isset($newindex[$nterm]))
$removed[] = $nterm; $removed[] = $nterm;
$entryb = $indexb[$nterm]; }
if($entrya !== $entryb) $changed[] = $nterm; foreach($newindex as $nterm => $entry)
{
if(!isset($oldindex[$nterm]) or // If this world is new
$newindex[$nterm] !== $oldindex[$nterm]) // If this word has changed
$changed[$nterm] = $newindex[$nterm];
} }
} }
@ -259,6 +262,13 @@ class search
return ($a["freq"] < $b["freq"]) ? +1 : -1; return ($a["freq"] < $b["freq"]) ? +1 : -1;
}); });
} }
// Sort the inverted index by rank
uasort($invindex, function($a, $b) {
$ac = count($a); $bc = count($b);
if($ac == $bc) return 0;
return ($ac < $bc) ? +1 : -1;
});
} }
public static function save_invindex($filename, &$invindex) public static function save_invindex($filename, &$invindex)

View file

@ -137,6 +137,12 @@ register_module([
// Construct an index for the old and new page content // Construct an index for the old and new page content
$oldindex = search::index(file_get_contents("$env->page.md")); $oldindex = search::index(file_get_contents("$env->page.md"));
$newindex = search::index($pagedata); $newindex = search::index($pagedata);
echo("old: ");
var_dump($oldindex);
echo("new: ");
var_dump($newindex);
// Compare the indexes of the old and new content // Compare the indexes of the old and new content
$additions = []; $additions = [];
$removals = []; $removals = [];
@ -192,13 +198,14 @@ register_module([
else else
http_response_code(200); http_response_code(200);
// header("content-type: text/plain");
header("location: index.php?page=$env->page&edit_status=success&redirect=no"); header("location: index.php?page=$env->page&edit_status=success&redirect=no");
exit(); exit();
} }
else else
{ {
http_response_code(507); http_response_code(507);
exit(page_renderer::render_main("Error saving page - $settings->sitename", "<p>$settings->sitename failed to write your changes to the disk. Your changes have not been saved, but you might be able to recover your edit by pressing the back button in your browser.</p> exit(page_renderer::render_main("Error saving page - $settings->sitename", "<p>$settings->sitename failed to write your changes to the server's disk. Your changes have not been saved, but you might be able to recover your edit by pressing the back button in your browser.</p>
<p>Please tell the administrator of this wiki (" . $settings->admindetails["name"] . ") about this problem.</p>")); <p>Please tell the administrator of this wiki (" . $settings->admindetails["name"] . ") about this problem.</p>"));
} }
}); });