* CrawlController.java

better handle case where crawl is discarded before launched
This commit is contained in:
gojomo committed 2009-07-24 00:27:57 +00:00
1 parent c3cc7cc7e5
commit 60ebd6cfdb
1 file changed
+5 -1
@@ -424,7 +424,11 @@ implements Serializable,
* @param message
*/
public synchronized void requestCrawlStop(CrawlStatus message) {
if (state == State.STOPPING || state == State.FINISHED || state == State.NASCENT) {
if (state == State.NASCENT) {
this.sExit = message;
this.state = State.FINISHED;
}
if (state == State.STOPPING || state == State.FINISHED ) {
return;
}
if (message == null) {