Improve ability to force-terminate crawls

* RecordingInputStream.java
    check for interrupt on each socket-timeout
* CrawlController.java
    on second requestCrawlStop, interrupt threads via ToePool.cleanup
* ToePool.java
   adjust for new earlier/repeated cleanup
* ToeThread.java
   better warnings/recovery on forced-interrupts
This commit is contained in:
gojomo committed 2010-11-15 22:26:36 +00:00
1 parent 9fb8374b67
commit c8074bdbf3
4 files changed
+23 -2

No files matched your search

@@ -219,6 +219,10 @@ public class RecordingInputStream
if (logger.isLoggable(Level.FINE)) {
logger.log(Level.FINE, "socket timeout", e);
}
// check for interrupt
if (Thread.interrupted()) {
throw new InterruptedException("Interrupted during IO");
}
// check for overall timeout
recordingOutputStream.checkLimits();
} catch (SocketException se) {