Merge branch 'master' into 'master'

Marius Cramer

2015-09-18 5cc181a90f7d27f4ec578a8a892b4dd0ca44adf4

 server/plugins-available/mailman_plugin.inc.php

@@ -115,7 +115,7 @@
   function update_config() {
      global $app, $conf;

      copy($this->mailman_config_dir.'mm_cfg.py', $this->mailman_config_dir.'mm_cfg.py');
      copy($this->mailman_config_dir.'mm_cfg.py', $this->mailman_config_dir.'mm_cfg.py~');

      // load the server configuration options
      $app->uses('getconf');
@@ -136,7 +136,7 @@
         if (strlen($line) && substr($line, 0, 1) != '#')
         {
            list($key, $value) = explode("=", $line);
            if (!empty($value))
            if ($value && $value !== '')
            {
               $key = rtrim($key);
               $old_options[$key] = trim($value);