Fixed a problem in the session initialization

tbrehm

2007-08-19 da5e7a023cec055984fbaab81609d2ddd4bccf13

 install/lib/install.lib.php

@@ -57,14 +57,15 @@
$FILE = realpath('../install.php');

function get_distname() {
   global $conf; // TODO wtf ?
   $distname = $conf['distname'];
   return $distname;
}

function sread() {
    $fp=fopen('/dev/stdin', 'r');
    $input=fgets($fp, 255);
    fclose($fp);
    $f = fopen('/dev/stdin', 'r');
    $input = fgets($f, 255);
    fclose($f);
    return rtrim($input);
}