Disallow server changes for existing records in mail_domain_edit.php

tbrehm

2008-12-12 ec09b18c9c44f85ceb6d9e7588a03a221cd1193f

 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.