Skip to content
This repository has been archived by the owner on Sep 23, 2024. It is now read-only.

db.create_repoid still handles missing repo ID #71

Open
spbnick opened this issue Jun 5, 2018 · 0 comments
Open

db.create_repoid still handles missing repo ID #71

spbnick opened this issue Jun 5, 2018 · 0 comments

Comments

@spbnick
Copy link
Contributor

spbnick commented Jun 5, 2018

db.create_repoid still uses "INSERT OR IGNORE INTO", which ignores a situation where an ID already exists. Instead, it should abort if an ID for the specified repo already exists. db.get_repoid already handles "create if not exists logic".

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant