Fixed a error in OS detection code for CentOS.

Till Brehm

2014-09-22 f02be96750e48859cc63f1f2b64a86a9202178b4

 server/lib/classes/monitor_tools.inc.php

@@ -215,13 +215,11 @@
            $distver = 'Unknown';
            $distid = 'centos53';
            $distbaseid = 'fedora';
            swriteln("Operating System: CentOS 6 or compatible\n");
         } elseif(stristr($content, 'CentOS Linux release 7')) {
            $distname = 'CentOS';
            $distver = 'Unknown';
            $distid = 'centos53';
            $distbaseid = 'fedora';
            swriteln("Operating System: CentOS 7 or compatible\n");
         } else {
            $distname = 'Redhat';
            $distver = 'Unknown';