$FORKS[$cmd]++;
//echo $cmd;
// debugging....
- if (false) {
+ if (true) {
if (php_sapi_name() == 'cli') {
echo $cmd, "\n";
} else {
}
}
-
-
+ function escapeArg($a) {
+ if (preg_match('/\-[a-z0-9]+$/i', $a)) {
+ return $a; // raw -a
+ }
+ if (preg_match('/\-\-[a-z0-9]+=/i', $a)) {
+ $lr = explode('=', $a,2);
+ return $lr[0].'=' . escapeshellarg($lr[1]); // raw -a
+ }
+ return escapeshellarg($a);
+
+
+ }
public $repopath = '';
/*