From 4da7853ebde6a07e0dade4a27367d5079f4e0f6e Mon Sep 17 00:00:00 2001 From: FND Date: Sun, 11 May 2008 15:14:33 +0100 Subject: [PATCH] minor corrections --- tools/pluginLibrary/index.php | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/pluginLibrary/index.php b/tools/pluginLibrary/index.php index 2c05cb2..95095ca 100644 --- a/tools/pluginLibrary/index.php +++ b/tools/pluginLibrary/index.php @@ -124,6 +124,8 @@ function processPluginTiddlers($xml, $oldStoreFormat = false) { $source = $t->slices->source; if(!$source || $source && !(strpos($source, $currentRepository->URI) === false)) // DEBUG: www handling (e.g. http://foo.bar = http://www.foo.bar) storePlugin($t); + else + addLog("skipped tiddler " . $tiddler->title . " in repository " . $currentRepository); } } @@ -150,9 +152,9 @@ function getSlices($text) { function storePlugin($tiddler) { global $currentRepository; if(pluginExists($currentRepository->ID, $tiddler->title)) - print_r($tiddler); // DEBUG + echo "updating plugin " . $tiddler->title; // DEBUG else - addLog("skipped tiddler " . $tiddler->title . " in repository " . $currentRepository); + echo "adding plugin " . $tiddler->title; } function pluginExists($repoID, $pluginName) {