| File inc/repo.inc.php changed (mode: 100644) (index e6c8656..9d8052a) |
| ... |
... |
function rg_repo_delete($db, $repo_id, $ui) |
| 911 |
911 |
} |
} |
| 912 |
912 |
|
|
| 913 |
913 |
// Only mark it as such, deletion will happen in background |
// Only mark it as such, deletion will happen in background |
| 914 |
|
$params = array("repo_id" => $repo_id); |
|
| 915 |
|
$sql = "UPDATE repos SET deleted = 1" |
|
|
914 |
|
$params = array('repo_id' => $repo_id, 'now' => time()); |
|
915 |
|
$sql = "UPDATE repos SET deleted = @@now@@" |
| 916 |
916 |
. " WHERE repo_id = @@repo_id@@"; |
. " WHERE repo_id = @@repo_id@@"; |
| 917 |
917 |
$res = rg_sql_query_params($db, $sql, $params); |
$res = rg_sql_query_params($db, $sql, $params); |
| 918 |
918 |
if ($res === FALSE) { |
if ($res === FALSE) { |
| |
| ... |
... |
function rg_repo_fetch_push_helper($db, $host, $ip, $login_ui, $prefix, $user, |
| 2471 |
2471 |
$ret['errmsg'] = 'repository does not exists'; |
$ret['errmsg'] = 'repository does not exists'; |
| 2472 |
2472 |
break; |
break; |
| 2473 |
2473 |
} |
} |
| 2474 |
|
if ($ret['ri']['deleted'] == 1) { |
|
|
2474 |
|
if ($ret['ri']['deleted'] > 0) { |
| 2475 |
2475 |
$ret['errmsg'] = 'repository has been deleted'; |
$ret['errmsg'] = 'repository has been deleted'; |
| 2476 |
2476 |
break; |
break; |
| 2477 |
2477 |
} |
} |