From 8b5ccd302bd1497de721a25e4ce086bebf95173f Mon Sep 17 00:00:00 2001
From: tbrehm <t.brehm@ispconfig.org>
Date: Sun, 08 Jun 2008 15:32:42 -0400
Subject: [PATCH] Fixed a problem with the logout when the php session has ended.
---
install/lib/install.lib.php | 8 +++-----
1 files changed, 3 insertions(+), 5 deletions(-)
diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php
index 923f094..b8f40f1 100644
--- a/install/lib/install.lib.php
+++ b/install/lib/install.lib.php
@@ -66,11 +66,11 @@
if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
$distname = 'debian40';
- swriteln('Operating System: Debian 4.0 or compatible');
+ swriteln("Operating System: Debian 4.0 or compatible\n");
}
if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
$distname = 'debian40';
- swriteln('Operating System: Debian Lenny/Sid or compatible');
+ swriteln("Operating System: Debian Lenny/Sid or compatible\n");
}
}
@@ -83,9 +83,7 @@
}
function sread() {
- $f = fopen('/dev/stdin', 'r');
- $input = fgets($f, 255);
- fclose($f);
+ $input = fgets(STDIN);
return rtrim($input);
}
--
Gitblit v1.9.1