Updated installer to make it more portable.

mdshort

2007-08-16 20218c0bd77cfda46d28d211e80162373c03df13

 install/lib/install.lib.php

@@ -36,7 +36,7 @@

function get_distname() {
   
   $distname = 'debian40';
   $distname = $conf['distname'];
   
   return $distname;
}
@@ -49,11 +49,11 @@
    return rtrim($input);
}

function swrite($text) {
function swrite($text = '') {
   echo $text;
}

function swriteln($text) {
function swriteln($text = '') {
   echo $text."\n";
}

@@ -378,4 +378,4 @@



?>
?>