Rimossa l’opzione «-r»

web/clitools/crawler.php

@@ -66,7 +66,6 @@ $opts=array(
 	'jsonfp'=>__DIR__.'/instances.json',
 	'jsonwrite'=>false,
 	'peersfp'=>null,
-	'restore'=>false,
 	'dontrestore'=>false,
 	'ignorelock'=>false
 );
@@ -96,10 +95,6 @@ $help='crawler.php
    Normalmente, se il suo lockfile esiste, il programma esce con un errore.
    Questa opzione fa sì che il lockfile sia ignorato. Attenzione: verifica
    che effettivamente il programma non stia già girando prima di usarla.
-  -r, --restore
-   Prova a riprendere l’esecuzione di una sessione precedente non completata
-   (perché funzioni devono essere presenti i file «instances.job»
-    e «currinst.job»).
   -R, --dontrestore
    Se sono presenti i file di una sessione precedente non completata
    («instances.job» e «currinst.job») ignorali e prosegui (verranno
@@ -137,10 +132,6 @@ for ($i=1; $i<$argc; $i++) {
 			case '--dontsetnew':
 			$opts['setnew']=false;
 			break;
-			case '-r':
-			case '--restore':
-			$opts['restore']=true;
-			break;
 			case '-R':
 			case '--dontrestore':
 			$opts['dontrestore']=true;
@@ -183,25 +174,11 @@ function mexit($msg,$code) {
 }
 
 $lockfp=__DIR__.'/crawler.lock';
-if (file_exists($lockfp) && !$opts['ignorelock'])
+if (file_exists($lockfp) && !$opts['ignorelock']) {
-	mexit('Il file di lock esiste: pare che sia già in corso una sessione; se sei sicur@ che non è così usa «-I» per forzare l’esecuzione.'.N,2);
+	echo('Il file di lock esiste: pare che sia già in corso una sessione; se sei sicur@ che non è così usa «-I» per forzare l’esecuzione.'.N);
-touch($lockfp);
+	exit(2);
-
-$riprendi=false;
-$instsjfp=__DIR__.'/instances.job';
-$currinstjfp=__DIR__.'/currinst.job';
-if ($opts['restore']) {
-	if (file_exists($currinstjfp) && file_exists($instsjfp)) {
-		$riprendi=true;
-	} else {
-		mexit('Impossibile riprendere la sessione precedente: «instances.job» e/o «currinst.job» non esistono.'.N,2);
-	}
-} else {
-	if (file_exists($currinstjfp) && file_exists($instsjfp)) {
-		if (!$opts['dontrestore'])
-			mexit('La sessione precedente non è stata conclusa: «instances.job» e «currinst.job» esistono; usa «-r» per ripristinarla o «-R» per ignorarla.'.N,2);
-	}
 }
+touch($lockfp);
 
 $inifp=__DIR__.'/../conf/mustard.ini';
 $iniarr=@parse_ini_file($inifp)
@@ -215,7 +192,11 @@ require(__DIR__.'/../site/mustard/include/tables.php');
 $tables=tables($link);
 //print_r($tables);
 
-if ($riprendi) {
+$riprendi=false;
+$instsjfp=__DIR__.'/instances.job';
+$currinstjfp=__DIR__.'/currinst.job';
+
+if (!$opts['dontrestore'] && file_exists($currinstjfp) && file_exists($instsjfp)) {
 	echo('Pare che ci sia un lavoro in sospeso, provo a riprenderlo...'.N);
 	$buf=@file($instsjfp,FILE_IGNORE_NEW_LINES|FILE_SKIP_EMPTY_LINES)
 		or mexit('Non ho potuto aprire in lettura il file «'.$instsjfp.'».'.N,1);
@@ -658,7 +639,7 @@ function varbdump($var) {
 function mdasortbykey(&$arr,$key,$rev=false) {
 	$karr=array();
 	foreach ($arr as $akey=>$subarr)
-		$karr[$subarr[$key]]=array($akey,$subarr);
+		$karr[round($subarr[$key]*10000000000000,0)]=array($akey,$subarr);
 	if (!$rev)
 		ksort($karr);
 	else