ILIAS  release_7 Revision v7.30-3-g800a261c036
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.