| | |
| | | <?php |
| | | |
| | | /* |
| | | Copyright (c) 2007, projektfarm Gmbh, Till Brehm, Falko Timme |
| | | Copyright (c) 2007, Till Brehm, projektfarm Gmbh |
| | | All rights reserved. |
| | | |
| | | Redistribution and use in source and binary forms, with or without modification, |
| | |
| | | EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| | | */ |
| | | |
| | | |
| | | class services { |
| | | |
| | | var $registered_services = array(); |
| | | var $delayed_restarts = array(); |
| | | var $debug = false; |
| | | |
| | | // This function adds a request for restarting |
| | | // a service at the end of the configuration run. |
| | |
| | | function registerService($service_name,$module_name, $function_name) { |
| | | global $app; |
| | | $this->registered_services[$service_name] = array('module' => $module_name, 'function' => $function_name); |
| | | $app->log("Registered Service '$service_name' in module '$module_name' for processing function '$function_name'",LOGLEVEL_DEBUG); |
| | | if($this->debug) $app->log("Registered Service '$service_name' in module '$module_name' for processing function '$function_name'",LOGLEVEL_DEBUG); |
| | | } |
| | | |
| | | // This function is called at the end of the server script to restart services. |