{$serviceType}->$tagName; } } else { //$e = new mb_exception("/tools/mod_monitorCapabilities.php: could not find file: ".$reportFile); } return $result; } // invocation ************************************************************************************* // commandline if ($_SERVER["argc"] > 0) { $cl = true; if ($_SERVER["argc"] > 1 && $_SERVER["argv"][1] !== "") { $param = $_SERVER["argv"][1]; if (substr($param, 0,5) == "user:") { $user = substr($param, 5); } if (substr($param, 0,6) == "group:") { $group = substr($param, 6); } } else { echo _mb("Specify a user ID or a group ID to monitor.") . "\n\n"; echo "php