From 1322237d2966c8a2be211385c0a4e2c3d0779363 Mon Sep 17 00:00:00 2001
From: ftimme <ft@falkotimme.com>
Date: Thu, 22 Jan 2009 18:50:31 -0500
Subject: [PATCH]
---
install/lib/install.lib.php | 17 ++++++++++++++---
1 files changed, 14 insertions(+), 3 deletions(-)
diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php
index c78c0f0..4af0d54 100644
--- a/install/lib/install.lib.php
+++ b/install/lib/install.lib.php
@@ -31,7 +31,6 @@
/*
This function returns a string that describes the installed
linux distribution. e.g. debian40 for Debian Linux 4.0
-
*/
@@ -71,7 +70,7 @@
$distbaseid = 'debian';
swriteln("Operating System: Debian 4.0 or compatible\n");
}
- if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
+ if(trim(file_get_contents('/etc/debian_version')) == '5.0' || trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
$distname = 'Debian';
$distver = 'Lenny/Sid';
$distid = 'debian40';
@@ -531,6 +530,9 @@
}
}
if($found == 0) {
+ //* add \n if the last line does not end with \n or \r
+ if(substr($out,-1) != "\n" && substr($out,-1) != "\r") $out .= "\n";
+ //* add the new line at the end of the file
$out .= $new_line."\n";
}
file_put_contents($filename,$out);
@@ -555,6 +557,15 @@
}
}
+function is_installed($appname) {
+ exec('which '.escapeshellcmd($appname),$out);
+ if(isset($out[0]) && stristr($out[0],$appname)) {
+ return true;
+ } else {
+ return false;
+ }
+}
-?>
\ No newline at end of file
+
+?>
--
Gitblit v1.9.1