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 | 13 +++++++++----
1 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php
index 503b074..b8f40f1 100644
--- a/install/lib/install.lib.php
+++ b/install/lib/install.lib.php
@@ -59,11 +59,18 @@
//** Get distribution identifier
function get_distname() {
- //** Debian
+ $distname = '';
+
+ //** Debian or Ubuntu
if(file_exists('/etc/debian_version')) {
if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
$distname = 'debian40';
+ 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\n");
}
}
@@ -76,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