From 8b857b6caef26ac107f5ee232db8b5522fcf223f Mon Sep 17 00:00:00 2001
From: pezcurrel <pezcurrel@tiscali.it>
Date: Wed, 14 Oct 2020 19:11:40 +0200
Subject: [PATCH] ...

---
 web/custard.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/web/custard.php b/web/custard.php
index 7e159ca..5add5ec 100644
--- a/web/custard.php
+++ b/web/custard.php
@@ -355,7 +355,7 @@ $debug.='MAIN QUERY EXEC TIME: '.(microtime(true)-$qit).' sec.'.N;
 $itot=mysqli_num_rows($res);
 $debug.='RESULTS: '.$itot;
 //echo('<div id="debug"><textarea spellcheck="false">'.$debug.'</textarea></div>'.N);
-$ipp=25;
+$ipp=10;// istanze per pagina
 $if=$ipp*($p-1);
 if ($if>=$itot) {
 	$if=0;
@@ -377,6 +377,8 @@ if ($ptot>1) {
 	$out.='</select>'.N;
 	$out.='</div>'.N;
 	echo($out);
+} else {
+	echo('<script language="JavaScript">document.getElementById(\'bmenu\').style.display=none;</script>'.N);
 }
 mysqli_data_seek($res,$if);
 while ($if<$il && $row=mysqli_fetch_assoc($res)) {