tbrehm
2010-06-16 e28564dbde4f922a6a8263e3dea32d56b60b5b5b
install/lib/install.lib.php
@@ -56,6 +56,10 @@
$FILE = realpath('../install.php');
//** Get distribution identifier
//** IMPORTANT!
//   This is the same code as in /server/mods-available/monitor_core_module.inc.php
//   So if you change it here, you also have to change it in
//   /server/mods-available/monitor_core_module.inc.php!
function get_distname() {
   
   $distname = '';
@@ -81,9 +85,9 @@
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'6.0') || trim(file_get_contents('/etc/debian_version')) == 'squeeze/sid') {
         $distname = 'Debian';
         $distver = 'Squeeze/Sid';
         $distid = 'debian40';
         $distid = 'debian60';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Squeeze/Sid or compatible\n");
         swriteln("Operating System: Debian 6.0 (Squeeze/Sid) or compatible\n");
      }  else {
         $distname = 'Debian';
         $distver = 'Unknown';
@@ -109,14 +113,14 @@
         swriteln("Operating System: openSUSE 11.1 or compatible\n");
      } elseif(stristr(file_get_contents('/etc/SuSE-release'),'11.2')) {
         $distname = 'openSUSE';
         $distver = '11.1';
         $distid = 'opensuse110';
         $distver = '11.2';
         $distid = 'opensuse112';
         $distbaseid = 'opensuse';
         swriteln("Operating System: openSUSE 11.2 or compatible\n");
      }  else {
         $distname = 'openSUSE';
         $distver = 'Unknown';
         $distid = 'opensuse110';
         $distid = 'opensuse112';
         $distbaseid = 'opensuse';
         swriteln("Operating System: openSUSE or compatible, unknown version.\n");
      }