From 294ef6ececa7500170e8bc7f63e9797f71e70699 Mon Sep 17 00:00:00 2001 From: pezcurrel Date: Fri, 15 May 2020 15:01:57 +0200 Subject: [PATCH] ... --- web/mustard/crawler/crawler.php | 1 + web/mustard/include/dispinst.php | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/web/mustard/crawler/crawler.php b/web/mustard/crawler/crawler.php index ebe050f..c17e2a0 100755 --- a/web/mustard/crawler/crawler.php +++ b/web/mustard/crawler/crawler.php @@ -310,6 +310,7 @@ if (!$riprendi) { $insts[]=$row['URI']; } sort($insts); +// shuffle($insts); ksort($blacklist); ksort($blacklistnew); lecho('Istanze recuperate: '.count($insts).N); diff --git a/web/mustard/include/dispinst.php b/web/mustard/include/dispinst.php index fee8837..07cc757 100644 --- a/web/mustard/include/dispinst.php +++ b/web/mustard/include/dispinst.php @@ -2,7 +2,7 @@ use function mysqli_real_escape_string as myesc; -// serve per i vari strftime - quando ci sarà versione inglese andrebbe impostata a en_EN.utf8, alla bisogna +// serve per i vari strftime (isset($english) && $english) ? setlocale(LC_ALL,'en_EN.utf8') : setlocale(LC_ALL,'it_IT.utf8'); function t($itstr,$enstr) {