fix(server): prevent adding logs to non-existent repo

This commit is contained in:
Jef Roosens 2022-05-07 15:44:59 +02:00
parent 139142fcec
commit f42d3fd8b0
Signed by: Jef Roosens
GPG key ID: B75D4F293C7052DB
2 changed files with 13 additions and 5 deletions

View file

@ -152,3 +152,11 @@ pub fn (db &VieterDb) update_git_repo_archs(repo_id int, archs []GitRepoArch) {
}
}
}
pub fn (db &VieterDb) git_repo_exists(repo_id int) bool {
db.get_git_repo(repo_id) or {
return false
}
return true
}