Little cosmetic change

web/clitools/maintain/crawl.bash

@@ -39,7 +39,6 @@ function logcmd {
 		tail -n 20 $2 > $MAILF
 		domail "L’esecuzione di «$1», cominciata $init e finita $endt, NON È RIUSCITA (exit code: $ec) :-(" "$MAILF"
 	fi
-#	echo "--------------------" >> $LOGF
 }
 
 #logcmd "grep pippo gigi" "grepa.log"
@@ -59,6 +58,4 @@ fi
 
 logcmd "php mustool.php shuffle clean optimize" "mustool.shuffle-clean-optimize.log"
 
-echo "----------[ fine esecuzione crawl.bash ]----------" >> $LOGF
-
 exit 0