01: /*
02: * Created on Aug 11, 2004
03: *
04: */
05: package org.archive.crawler.framework.exceptions;
06:
07: /**
08: * Indicates a crawl has ended, either due to operator
09: * 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: }
|