serverLog.logInfo("SEARCH_EVENT","text snippet load time for "+comp.url()+": "+snippetComputationTime+", "+((snippet.getErrorCode()<11)?"snippet found":("no snippet found ("+snippet.getError()+")")));
serverLog.logInfo("SEARCH_EVENT","text snippet load time for "+comp.url()+": "+snippetComputationTime+", "+((snippet.getErrorCode()<11)?"snippet found":("no snippet found ("+snippet.getError()+")")));
serverProfiling.update("SEARCH",newplasmaProfiling.searchEvent(query.id(true),"obtain result entry - finish",0,0));
if(snippet.getErrorCode()<11){
if(snippet.getErrorCode()<11){
// we loaded the file and found the snippet
// we loaded the file and found the snippet
@ -577,6 +574,7 @@ public final class plasmaSearchEvent {
publicResultEntryoneResult(intitem){
publicResultEntryoneResult(intitem){
// check if we already retrieved this item (happens if a search pages is accessed a second time)
// check if we already retrieved this item (happens if a search pages is accessed a second time)
serverProfiling.update("SEARCH",newplasmaProfiling.searchEvent(query.id(true),"obtain one result entry - start",0,0));
if(this.result.sizeStore()>item){
if(this.result.sizeStore()>item){
// we have the wanted result already in the result array .. return that
// we have the wanted result already in the result array .. return that