diff --git a/admin/xmldb/actions/XMLDBCheckAction.class.php b/admin/xmldb/actions/XMLDBCheckAction.class.php index 378b678acee..ff84c87406f 100644 --- a/admin/xmldb/actions/XMLDBCheckAction.class.php +++ b/admin/xmldb/actions/XMLDBCheckAction.class.php @@ -1,31 +1,34 @@ -. -/// This is a base class for the various actions that interate over all the -/// tables and check some aspect of their definition. +/** + * @package xmldb-editor + * @copyright 2008 onwards Tim Hunt + * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later + */ + +/** + * This is a base class for the various actions that interate over all the + * tables and check some aspect of their definition. + * + * @package xmldb-editor + * @copyright 2008 onwards Tim Hunt + * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later + */ abstract class XMLDBCheckAction extends XMLDBAction { /** * This string is displayed with a yes/no choice before the report is run. @@ -158,6 +161,10 @@ abstract class XMLDBCheckAction extends XMLDBAction { $o.=$output; $problemsfound = array_merge($problemsfound, $newproblems); $o.=' '; + /// Give the script some more time (resetting to current if exists) + if ($currenttl = @ini_get('max_execution_time')) { + @ini_set('max_execution_time',$currenttl); + } } $o.=' '; }