| File scripts/remote.php changed (mode: 100644) (index 99c25e6..a9d778f) |
| ... |
... |
$r = rg_repo_fetch_push_helper($db, $host, $ip, $login_ui, $prefix, $user, |
| 199 |
199 |
rg_log_ml('DEBUG: repo_fetch_push_helper: ' . print_r($r, TRUE)); |
rg_log_ml('DEBUG: repo_fetch_push_helper: ' . print_r($r, TRUE)); |
| 200 |
200 |
if (($r['ok'] !== 1) || ($r['allow'] !== 1)) |
if (($r['ok'] !== 1) || ($r['allow'] !== 1)) |
| 201 |
201 |
fatal($r['error']); |
fatal($r['error']); |
| 202 |
|
if (($r['push'] === 1) && ($r['push_allowed'] !== 1)) |
|
| 203 |
|
fatal('Non existing repo or you are not allowed to push.'); |
|
| 204 |
202 |
|
|
| 205 |
203 |
$run = "git-shell -c \"" . $cmd . " " . escapeshellarg($r['repo_path']) . "\""; |
$run = "git-shell -c \"" . $cmd . " " . escapeshellarg($r['repo_path']) . "\""; |
| 206 |
204 |
//$run = $cmd . ' ' . escapeshellarg($r['repo_path']); |
//$run = $cmd . ' ' . escapeshellarg($r['repo_path']); |