| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | Reduce unnecessary repetition in views | Arjun Satarkar | |
| 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-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-29 | Implement per-feed tag limit of 100 | Arjun Satarkar | |
| Seems necessary to have a limit here to avoid DoS, though of course there are several avenues for it still, which should also be addressed. 100 seems more than would be necessary for any non-pathological usage; the system is built under the assumption that tags can be loaded all at once, don't need to be paginated, etc. (unlike feeds and entries) anyway. | |||
| 2023-07-29 | Simplify logic | Arjun Satarkar | |
| 2023-07-29 | Use smaller base image, exit cleanly in Docker, improve logging | Arjun Satarkar | |
| 2023-07-29 | Add Dockerfile, a bit more logging | Arjun Satarkar | |
| 2023-07-29 | Fix bugs related to filtering | 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 | |
| 2023-06-22 | Improve CLI arguments, add basic tag support, add CSS | Arjun Satarkar | |
| 2023-06-22 | Initial commit | Arjun Satarkar | |
 |
index : tagrss | |
| [no description] | nobody |
| aboutsummaryrefslogtreecommitdiff |