nlevitt 19e94f07d1 Fix race condition encountered by Travis and Adam where two ToeThread pools are created, one on "launch" and one on "unpause" ...

* CrawlController.java
    requestCrawlResume() - do not create ToePool (creation here appeared to be inherited cruft), paused crawl must already have toe pool

2011-10-07 01:54:29 +00:00

..

META-INF

…

org/archive

Fix race condition encountered by Travis and Adam where two ToeThread pools are created, one on "launch" and one on "unpause"

2011-10-07 01:54:29 +00:00