mirror of
https://github.com/MarginaliaSearch/MarginaliaSearch.git
synced 2025-02-24 21:29:00 +00:00
![]() To avoid unnecessary db churn, the domains to be added are put in a set instead of a list, ensuring that they are unique. |
||
---|---|---|
.. | ||
ConverterMonitorActor.java | ||
CrawlerMonitorActor.java | ||
IndexConstructorMonitorActor.java | ||
LoaderMonitorActor.java | ||
ProcessLivenessMonitorActor.java | ||
ScrapeFeedsActor.java |