Improved some list templates and the dashboard template.

tbrehm

2010-05-26 374c8db63dca02dcf62d64448dc408897925c19f

 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 = '';