Updated debian installation instructions.

tbrehm

2009-05-23 f38a6d5fc5b45a2a337e7f5ddbb569091d6dd7cd

 server/lib/classes/services.inc.php

@@ -1,6 +1,7 @@
<?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,
@@ -27,11 +28,11 @@
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.
@@ -64,7 +65,7 @@
   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.