removed option to do a re-crawl with a period of minutes. Such a short time does not make sense and it may cause endless indexing loops. The removing of the option will ensure that a misuse is prevented.

git-svn-id: https://svn.berlios.de/svnroot/repos/yacy/trunk@4964 6c8d7289-2bf4-0310-a012-ef5d649a1542

htroot/CrawlStart_p.html

@@ -93,7 +93,6 @@
               <option value="month"  #(crawlingIfOlderUnitMonthCheck)#::selected="selected"#(/crawlingIfOlderUnitMonthCheck)#>Month(s)</option>
               <option value="day"    #(crawlingIfOlderUnitDayCheck)#::selected="selected"#(/crawlingIfOlderUnitDayCheck)#>Day(s)</option>
               <option value="hour"   #(crawlingIfOlderUnitHourCheck)#::selected="selected"#(/crawlingIfOlderUnitHourCheck)#>Hour(s)</option>
-              <option value="minute" #(crawlingIfOlderUnitMinuteCheck)#::selected="selected"#(/crawlingIfOlderUnitMinuteCheck)#>Minute(s)</option>
 			</select>
           </td>
           <td>

htroot/CrawlStart_p.java

@@ -46,7 +46,6 @@ public class CrawlStart_p {
         prop.put("crawlingIfOlderUnitMonthCheck", "0");
         prop.put("crawlingIfOlderUnitDayCheck", "0");
         prop.put("crawlingIfOlderUnitHourCheck", "0");
-        prop.put("crawlingIfOlderUnitMinuteCheck", "0");
         if ((crawlingIfOlder == -1) || (crawlingIfOlder == Integer.MAX_VALUE)) {
             prop.put("crawlingIfOlderNumber", "1");
             prop.put("crawlingIfOlderUnitYearCheck", "1");
@@ -59,12 +58,9 @@ public class CrawlStart_p {
         } else if (crawlingIfOlder >= 60*24) {
             prop.put("crawlingIfOlderNumber", Math.round((float)crawlingIfOlder / (float)(60*24)));
             prop.put("crawlingIfOlderUnitDayCheck", "1");
-        } else if (crawlingIfOlder >= 60) {
-            prop.put("crawlingIfOlderNumber", Math.round(crawlingIfOlder / 60f));
-            prop.put("crawlingIfOlderUnitHourCheck", "1");
         } else {
-            prop.put("crawlingIfOlderNumber", crawlingIfOlder);
-            prop.put("crawlingIfOlderUnitMinuteCheck", "1");
+            prop.put("crawlingIfOlderNumber", Math.max(1, Math.round(crawlingIfOlder / 60f)));
+            prop.put("crawlingIfOlderUnitHourCheck", "1");
         }
         int crawlingDomFilterDepth = (int) env.getConfigLong("crawlingDomFilterDepth", -1);
         prop.put("crawlingDomFilterCheck", (crawlingDomFilterDepth == -1) ? "0" : "1");

htroot/WatchCrawler_p.java

@@ -384,8 +384,7 @@ public class WatchCrawler_p {
         if (crawlingIfOlderUnit.equals("month")) return recrawlIfOlderNumber * 60 * 24 * 30;
         if (crawlingIfOlderUnit.equals("day")) return recrawlIfOlderNumber * 60 * 24;
         if (crawlingIfOlderUnit.equals("hour")) return recrawlIfOlderNumber * 60;
-        if (crawlingIfOlderUnit.equals("minute")) return recrawlIfOlderNumber;
-        return -1;
+        return recrawlIfOlderNumber;
     }
     
     private static void setPerformance(plasmaSwitchboard sb, serverObjects post) {