Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-07-30 | Make feed id autoincrement | Arjun Satarkar | |
This is necessary to avoid a condition where the most recently added feed is deleted, and a new one subsequently added, after the latest id has been fetched from the database for updating but before the new entries are inserted. In this case, without autoincrement, entries from the deleted feed would be associated with the newly added feed. This fix does not include migration from the old DB schema without the change since this project is not stable yet, but I intend to start including such migrations in perhaps the very next release that alters the database schema. | |||
2023-07-30 | Add auto-refresh checkbox, don't auto-refresh except on front page | Arjun Satarkar | |
Also use input type "hidden" instead of display: none where appropriate (no observable effects, just cleaner). | |||
2023-07-30 | Simplify auto_refresh.js | Arjun Satarkar | |
That was the default value of that parameter anyway. | |||
2023-07-29 | Add auto-refresh JS | Arjun Satarkar | |
2023-07-05 | Add periodic updates, clean up code | Arjun Satarkar | |
2023-07-02 | Separate server and core, add SQLite storage | Arjun Satarkar | |
2023-06-22 | Improve CLI arguments, add basic tag support, add CSS | Arjun Satarkar | |