diff --git a/js/browseMgr_5.1.js b/js/browseMgr_5.1.js index 2748fd7..1892a8f 100644 --- a/js/browseMgr_5.1.js +++ b/js/browseMgr_5.1.js @@ -491,6 +491,7 @@ $(document).ready(function() { } var t2 = performance.now() + console.log('res in context ' + (t1 - t0)) console.log('list creation ' + (t2 - t1)) //evidenzio resultati @@ -504,6 +505,18 @@ $(document).ready(function() { $(idris).addClass("font-weight-bold mark ") } + + if(listarisultati.length==0){ + for (var ric of resincontext){ + if (Array.isArray(ric)){ + for (var ricel of ric){ + var telric=ricel.split('-')[0]+' '+ricel.split('-')[1] + clausesinrs.push(telric) + } + } + } + } + var t3 = performance.now() console.log('mar res ' + (t2 - t3)) //evidenzio i periodi se unità di ricerca è impostato come periodo