Fixed a problem with the logout when the php session has ended.

tbrehm

2008-06-08 8b5ccd302bd1497de721a25e4ce086bebf95173f

 install/lib/install.lib.php

@@ -83,9 +83,7 @@
}

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