From: <sk...@us...> - 2008-10-28 15:32:16
|
Revision: 1487 http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1487&view=rev Author: sknappe Date: 2008-10-28 15:32:03 +0000 (Tue, 28 Oct 2008) Log Message: ----------- bugfix Modified Paths: -------------- trunk/src/dbpedia-navigator/ajax_get_article.php trunk/src/dbpedia-navigator/index.php Modified: trunk/src/dbpedia-navigator/ajax_get_article.php =================================================================== --- trunk/src/dbpedia-navigator/ajax_get_article.php 2008-10-28 15:21:56 UTC (rev 1486) +++ trunk/src/dbpedia-navigator/ajax_get_article.php 2008-10-28 15:32:03 UTC (rev 1487) @@ -13,6 +13,8 @@ $subject=$_POST['label']; $fromCache=$_POST['cache']; + if ($fromCache==-2) $fromrest=true; + else $fromrest=false; if (isset($_SESSION['articles'])) $articles=$_SESSION['articles']; if (isset($_SESSION['id'])){ @@ -309,7 +311,7 @@ } else{ $array=$_SESSION['positive']; - if (!isset($array[$uri])){ + if (!isset($array[$uri])||$fromrest){ $array[$uri]=$artTitle; if (count($array)>10){ foreach ($array as $key=>$value){ @@ -345,7 +347,7 @@ } else{ $array=$_SESSION['positive']; - if (!isset($array[$uri])){ + if (!isset($array[$uri])||$fromrest){ $array[$uri]=$artTitle; if (count($array)>10){ foreach ($array as $key=>$value){ Modified: trunk/src/dbpedia-navigator/index.php =================================================================== --- trunk/src/dbpedia-navigator/index.php 2008-10-28 15:21:56 UTC (rev 1486) +++ trunk/src/dbpedia-navigator/index.php 2008-10-28 15:32:03 UTC (rev 1487) @@ -12,7 +12,7 @@ else if (isset($_SESSION['positives'])||isset($_SESSION['negatives'])) $onLoad.="setPositivesAndNegatives('positives=".$_SESSION['positives']."&negatives=".$_SESSION['negatives']."');"; if (isset($_GET['showArticle'])){ session_unset(); - $onLoad.="get_article('label=".$_GET['showArticle']."&cache=-1');"; + $onLoad.="get_article('label=".$_GET['showArticle']."&cache=-2');"; } else if (isset($_GET['search'])){ session_unset(); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |