Slightly improve process detection using a well-known UNIX shell trick (use...

jwarnier

2010-08-13 beb1727bafe6aaab3762c0b1961bcdcb6744e3f1

Slightly improve process detection using a well-known UNIX shell trick (use one grep less).

 install/lib/install.lib.php

@@ -57,9 +57,8 @@

//** 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 = '';