From beb1727bafe6aaab3762c0b1961bcdcb6744e3f1 Mon Sep 17 00:00:00 2001 From: jwarnier Date: Fri, 13 Aug 2010 22:16:53 +0000 Subject: [PATCH] Slightly improve process detection using a well-known UNIX shell trick (use one grep less). --- install/lib/install.lib.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php index 8793dba02..b6ad9a7f2 100644 --- a/install/lib/install.lib.php +++ b/install/lib/install.lib.php @@ -57,9 +57,8 @@ $FILE = realpath('../install.php'); //** Get distribution identifier //** IMPORTANT! -// This is the same code as in /server/mods-available/monitor_core_module.inc.php -// So if you change it here, you also have to change it in -// /server/mods-available/monitor_core_module.inc.php! +// This is the same code as in server/mods-available/monitor_core_module.inc.php +// So if you change it here, you also have to change it in there! function get_distname() { $distname = ''; -- GitLab