ILIAS  release_6 Revision v6.24-5-g0c8bfefb3b8
CrawlerExceptionHandler.php
Go to the documentation of this file.
1<?php
3
8{
9
16 public function handleException(CrawlerException $ex);
17}
An exception for terminatinating execution or to throw for unit testing.
handleException(CrawlerException $ex)
Handle an exception request.