- Changed a German translation. - Extended SEO redirect check for subdomain...

ftimme

2012-11-12 8e38755040c6c2073f92f0ffb087da530d0e7a0a

 server/lib/classes/monitor_tools.inc.php

@@ -135,7 +135,7 @@
         } elseif (strstr(trim(file_get_contents('/etc/debian_version')), '7.0') || trim(file_get_contents('/etc/debian_version')) == 'wheezy/sid') {
            $distname = 'Debian';
            $distver = 'Wheezy/Sid';
            $distid = 'debian70';
            $distid = 'debian60';
            $distbaseid = 'debian';
         } else {
            $distname = 'Debian';