Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(library management): removed id and libraryId properties of installed libraries (resolves #203) #296

Merged
merged 1 commit into from
Dec 2, 2019

Conversation

sr258
Copy link
Member

@sr258 sr258 commented Dec 2, 2019

IInstalledLibrary had the properties id and libraryId until now. I've removed those and the client still works fine. I'm quite certain that they are only artifacts of the relational database schema used by the PHP implementation to store the libraries. The ids are fully redundant as normally the system uses the "ubername" to uniquely identify installed libraries. (All endpoints I've implemented so far always used the ubername and never an numeric id). Even Joubel uses the name "id" for the machine name in the editor client, so I assume that the "library ids" in the PHP editor server are only internal and don't have to imitated. We can still re-introduce later them if needed after all.

@sr258 sr258 added the [status] needs review PRs that are ready to be reviewed. label Dec 2, 2019
@sr258 sr258 added this to the Milestone 1 milestone Dec 2, 2019
@JPSchellenberg JPSchellenberg merged commit b553515 into master Dec 2, 2019
@JPSchellenberg
Copy link
Member

🎉 This PR is included in version 0.10.1 🎉

The release is available on:

Your semantic-release bot 📦🚀

@JPSchellenberg JPSchellenberg deleted the fix/203-remove-library-id branch December 2, 2019 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
released [status] needs review PRs that are ready to be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants