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/Load_MediawikiWiki.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/Load_MediawikiWiki.html')
| -rw-r--r-- | htroot/Load_MediawikiWiki.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/htroot/Load_MediawikiWiki.html b/htroot/Load_MediawikiWiki.html index 00b0a8a63..36442fa4d 100644 --- a/htroot/Load_MediawikiWiki.html +++ b/htroot/Load_MediawikiWiki.html @@ -34,6 +34,7 @@ <input type="hidden" name="mustnotmatch" value="(.*Recentchangeslinked.*)|(.*Whatlinkshere.*)|(.*MediaWiki.*)" /> <input type="hidden" name="range" value="subpath" /> <input type="hidden" name="crawlingIfOlderCheck" value="on"/> + <input type="hidden" name="cleanSearchCache" id="cleanSearchCache" value=#(cleanSearchCacheChecked)#"off"::"on"#(/cleanSearchCacheChecked)# /> <input type="hidden" name="crawlingIfOlderNumber" value="1" /> <input type="hidden" name="crawlingIfOlderUnit" value="day" /> <input type="hidden" name="crawlingDomFilterCheck" value="off" /> |