Fixed a warning in maildrop plugin.

tbrehm

2011-09-07 c719dc0b1dd696e0cd6b51f09ee13c8263375f7c

 install/lib/install.lib.php

@@ -57,7 +57,7 @@

//** Get distribution identifier
//** IMPORTANT!
//   This is the same code as in server/mods-available/monitor_core_module.inc.php
//   This is the same code as in server/lib/classes/monitor_tools.inc.php
//   So if you change it here, you also have to change it in there!
function get_distname() {
   
@@ -161,6 +161,12 @@
         $distid = 'centos53';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 5.3 or compatible\n");
      } elseif(stristr($content,'CentOS release 5')) {
         $distname = 'CentOS';
         $distver = 'Unknown';
         $distid = 'centos53';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 5 or compatible\n");
      } else {
         $distname = 'Redhat';
         $distver = 'Unknown';