[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiti
From: |
Maxime Devos |
Subject: |
[bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting |
Date: |
Sat, 05 Mar 2022 23:16:04 +0100 |
User-agent: |
Evolution 3.38.3-1 |
Ludovic Courtès schreef op za 05-03-2022 om 23:03 [+0100]:
> I don’t know if it’s supposed to happen. It’s defensive programming:
> better keep going than crash if the server starts behaving slightly
> differently.
That's called total programming I think? From a OOP I'm following:
* total: handle all cases without complaints (no throwing exceptions
or such), assign every case a well-defined (and documented!)
behaviour
* nominal: document the preconditions, but don't bother checking them
* defensive: check inputs, if they are wrong, throw an exception
(it was probably formulated a bit differently but that was the gist of
it)
At least according to this classification, this
'update-rate-limit-reset-time!' would be total (except for the lack of
documentation), not defensive.
Greetings,
Maxime.
signature.asc
Description: This is a digitally signed message part
- bug#54241: [PATCH 0/4] 'github' importer gracefully handles rate limiting, (continued)
- [bug#54241] [PATCH 2/4] import: github: Gracefully handle rate limit exhaustion., Maxime Devos, 2022/03/05
- [bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting, Ludovic Courtès, 2022/03/05
- [bug#54241] [PATCH 2/4] import: github: Gracefully handle rate limit exhaustion., Maxime Devos, 2022/03/05
- [bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting, Ludovic Courtès, 2022/03/05
- [bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting,
Maxime Devos <=
- [bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting, Ludovic Courtès, 2022/03/06
- [bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting, Maxime Devos, 2022/03/05
- [bug#54241] [PATCH 2/4] import: github: Gracefully handle rate limit exhaustion., Maxime Devos, 2022/03/05
- [bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting, Ludovic Courtès, 2022/03/05
[bug#54241] [PATCH 0/4] 'github' importer gracefully handles rate limiting, Maxime Devos, 2022/03/04