15 error_log(
"*** API script 'freedom_import' is deprecated! You should use 'importDocuments' instead. ***");
18 if (substr(
$wsh, 0, 1) !=
'/') {
19 $realwsh = realpath(
$wsh);
20 if ($realwsh ===
false) {
21 error_log(
"Error: could not get real path of '%s'.",
$wsh);
29 foreach ($argv as
$arg) {
30 if (preg_match(
'/^--api=/', $arg)) {
31 $arg =
'--api=importDocuments';
33 $args[] = escapeshellarg($arg);
39 error_log(
"Error: could not execute command '%s'.",
$cmd);
if(substr($wsh, 0, 1)!= '/') $args
foreach($argv as $arg) $cmd