endedexception.java

一个搜索引擎,希望对大家有用

/*
 * Created on Aug 11, 2004
 *
 */
package org.archive.crawler.framework.exceptions;

/**
 * Indicates a crawl has ended, either due to operator
 * termination, frontier exhaustion, or any other reason. 
 * 
 * @author gojomo
 */
public class EndedException extends Exception {
    // TODO: subclass for various kinds of ends?
    
    /**
     * Constructs a new <code>EndedException</code>.
     * 
     * @param message  describes why the crawl ended
     */
    public EndedException(String message) {
        super(message);
    }

}