jwarnier
2010-08-16 d53b932e1cfed05ee3594033181020b3639fba4c
server/mods-available/monitor_core_module.inc.php
@@ -181,7 +181,7 @@
         $distbaseid = 'gentoo';
      } else {
         die('unrecognized linux distribution');
         die('unrecognized Linux distribution');
      }
      return array('name' => $distname, 'version' => $distver, 'id' => $distid, 'baseid' => $distbaseid);