File inc/repo.inc.php changed (mode: 100644) (index f5b1833..45347f1) |
... |
... |
function rg_repo_git_done($db, $repo_id) |
1166 |
1166 |
$ret = FALSE; |
$ret = FALSE; |
1167 |
1167 |
while (1) { |
while (1) { |
1168 |
1168 |
$params = array("repo_id" => $repo_id); |
$params = array("repo_id" => $repo_id); |
|
1169 |
|
|
|
1170 |
|
rg_cache_merge('repo_by_id::' . $repo_id, $params); |
|
1171 |
|
|
1169 |
1172 |
$sql = "UPDATE repos SET git_dir_done = 1" |
$sql = "UPDATE repos SET git_dir_done = 1" |
1170 |
1173 |
. " WHERE repo_id = @@repo_id@@"; |
. " WHERE repo_id = @@repo_id@@"; |
1171 |
1174 |
$res = rg_sql_query_params($db, $sql, $params); |
$res = rg_sql_query_params($db, $sql, $params); |