File scripts/remote.php changed (mode: 100644) (index 7267125..5ac629c) |
... |
... |
$r = rg_repo_fetch_push_helper($db, $host, $ip, $login_ui, $prefix, $user, |
202 |
202 |
if ($r['ok'] != 1) |
if ($r['ok'] != 1) |
203 |
203 |
fatal($r['error']); |
fatal($r['error']); |
204 |
204 |
|
|
205 |
|
$run = "git-shell -c \"" . $cmd . " " . escapeshellarg($repo_path) . "\""; |
|
206 |
|
$run = $cmd . ' ' . escapeshellarg($repo_path); |
|
|
205 |
|
$run = "git-shell -c \"" . $cmd . " " . escapeshellarg($r['repo_path']) . "\""; |
|
206 |
|
//$run = $cmd . ' ' . escapeshellarg($r['repo_path']); |
207 |
207 |
rg_log("Running [$run]..."); |
rg_log("Running [$run]..."); |
208 |
208 |
rg_prof_start($cmd); |
rg_prof_start($cmd); |
209 |
209 |
// TODO: shouldn't we use rg_exec to capture stderr? |
// TODO: shouldn't we use rg_exec to capture stderr? |