Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-07-30 | Handle feed deletion after fetch but before inserting new entries | Arjun Satarkar | |
The approach we used is to catch an exception since EAFP. The alternative would be to check if the feed exists just before trying to insert, which would not be a race condition due to the lock. | |||
2023-07-29 | Simplify logic | Arjun Satarkar | |
2023-07-29 | Use smaller base image, exit cleanly in Docker, improve logging | Arjun Satarkar | |
2023-07-28 | Add filtering by tag and feed, improve modularity of some HTML | Arjun Satarkar | |
2023-07-28 | Add AGPLv3 license | Arjun Satarkar | |
2023-07-28 | Stop feed fetching from blocking everything | Arjun Satarkar | |
We accomplished this by switching from gevent to cherrypy (should be possible with gevent, but it wasn't worth the trouble) and shifting the HTTP request part of the process out of the core TagRss class. Also added a bit of logging, got rid of /delete_feed returning a spurious success page in response to GET requests, | |||
2023-07-05 | Add pagination UI, list of all feeds | Arjun Satarkar | |
2023-07-05 | Add periodic updates, clean up code | Arjun Satarkar | |
2023-07-04 | Add feed modification and deletion | Arjun Satarkar | |
2023-07-02 | Separate server and core, add SQLite storage | Arjun Satarkar | |