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

Windows: release SQLite #6285

Merged
merged 5 commits into from
Apr 21, 2024
Merged

Windows: release SQLite #6285

merged 5 commits into from
Apr 21, 2024

Conversation

Alkarex
Copy link
Member

@Alkarex Alkarex commented Apr 11, 2024

fix #3970
fix #6275

@Alkarex
Copy link
Member Author

Alkarex commented Apr 11, 2024

@math-GH I do not have a Windows native dev setup ready (I mostly use WSL when on Windows), but maybe you could try a bit more along the lines of this PR?

@math-GH
Copy link
Contributor

math-GH commented Apr 11, 2024

I tested but it does not fix the bugs :/

@Alkarex
Copy link
Member Author

Alkarex commented Apr 11, 2024

Do you experience the same bug from the CLI?

@math-GH
Copy link
Contributor

math-GH commented Apr 11, 2024

Do you experience the same bug from the CLI?

I have never used the CLI but the i18n tool 🙄

@Alkarex
Copy link
Member Author

Alkarex commented Apr 11, 2024

./cli/delete-user.php --user username

https://github.com/FreshRSS/FreshRSS/blob/edge/cli/README.md

@math-GH
Copy link
Contributor

math-GH commented Apr 12, 2024

Same error on CLI. edge and this PR have the same error messages.

@Alkarex
Copy link
Member Author

Alkarex commented Apr 21, 2024

@math-GH Please try again

@Alkarex Alkarex added the Bug (confirmed) 🐞 issues that are reproducable label Apr 21, 2024
@math-GH
Copy link
Contributor

math-GH commented Apr 21, 2024

It works fine now. It deletes the directory in user data directory without error messages.

@Alkarex Alkarex merged commit 90fbb52 into FreshRSS:edge Apr 21, 2024
2 checks passed
@Alkarex Alkarex deleted the release-user branch April 21, 2024 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Bug (confirmed) 🐞 issues that are reproducable
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Bug] User deleting: notification "User cannot be deleted" [BUG] errors on page: delete my user account
2 participants