tbrehm
2008-12-17 fb66b7870bce2b5f04cbaee82042b016b0de46b5
server/plugins-available/network_settings_plugin.inc.php
@@ -122,6 +122,12 @@
         $app->log("Changed Network settings",LOGLEVEL_DEBUG);
         
         exec('/etc/init.d/networking force-reload');
      } else {
         if(is_file('/etc/debian_version')) {
            $app->log("Network configuration disabled in server settings.",LOGLEVEL_WARN);
         } else {
            $app->log("Network configuration not available for this linux distribution.",LOGLEVEL_DEBUG);
         }
      }
      
   }