View Javadoc

    1   /*
    2    * Created on Aug 11, 2004
    3    *
    4    */
    5   package org.archive.crawler.framework.exceptions;
    6
    7   /***
    8    * Indicates a crawl has ended, either due to operator
    9    * termination, frontier exhaustion, or any other reason.
    10   *
    11   * @author gojomo
    12   */
    13  public class EndedException extends Exception {
    14      // TODO: subclass for various kinds of ends?
    15
    16      private static final long serialVersionUID = -4638427249822262643L;
    17
    18      /***
    19       * Constructs a new <code>EndedException</code>.
    20       *
    21       * @param message  describes why the crawl ended
    22       */
    23      public EndedException(String message) {
    24          super(message);
    25      }
    26
    27  }