diff options
| author | luccioman <luccioman@users.noreply.github.com> | 2018-02-16 10:19:41 +0100 |
|---|---|---|
| committer | luccioman <luccioman@users.noreply.github.com> | 2018-02-16 10:19:41 +0100 |
| commit | 519fc9a6009bd81182f9efb16d734f7a552669a7 (patch) | |
| tree | ee0c27b46c537acf73947dc23bc0789305ff71df /htroot/CrawlStartSite.html | |
| parent | eeb5fbb1602375e10c144867f2a3a46e522c4e1f (diff) | |
Issue #156 : new option to clean up (or not) search cache on crawl start
Prevent also unnecessary search event cache clean-up on each access to
the crawl monitor page (Crawler_p.html).
Diffstat (limited to 'htroot/CrawlStartSite.html')
| -rw-r--r-- | htroot/CrawlStartSite.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/htroot/CrawlStartSite.html b/htroot/CrawlStartSite.html index d8191be6f..c834a4381 100644 --- a/htroot/CrawlStartSite.html +++ b/htroot/CrawlStartSite.html @@ -86,6 +86,7 @@ <input type="hidden" name="recrawl" id="recrawl" value="reload" />
<input type="hidden" name="reloadIfOlderNumber" id="reloadIfOlderNumber" value="3" />
<input type="hidden" name="reloadIfOlderUnit" id="reloadIfOlderUnit" value="day" />
+ <input type="hidden" name="cleanSearchCache" id="cleanSearchCache" value=#(cleanSearchCacheChecked)#"off"::"on"#(/cleanSearchCacheChecked)# />
<input type="hidden" name="deleteold" id="deleteold" value="on" />
<input type="hidden" name="storeHTCache" id="storeHTCache" value="on" />
<input type="hidden" name="cachePolicy" id="cachePolicy" value="iffresh" />
|