diff options
| author | Arjun Satarkar <me@arjunsatarkar.net> | 2023-07-30 09:47:52 +0000 |
|---|---|---|
| committer | Arjun Satarkar <me@arjunsatarkar.net> | 2023-07-30 09:47:52 +0000 |
| commit | 178b26030f56bd600c5efa33cffa2758f20a7639 (patch) | |
| tree | c3d9afec48a665e82fe5e96320c13da2098f32f2 /static/scripts/auto_refresh.js | |
| parent | 58932c2d984ce2ca767d48be76d75664c660cabe (diff) | |
| download | tagrss-178b26030f56bd600c5efa33cffa2758f20a7639.tar tagrss-178b26030f56bd600c5efa33cffa2758f20a7639.tar.gz tagrss-178b26030f56bd600c5efa33cffa2758f20a7639.zip | |
Handle feed deletion after fetch but before inserting new entries
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.
Diffstat (limited to 'static/scripts/auto_refresh.js')
0 files changed, 0 insertions, 0 deletions