Rapptz.discord.py

python discord discord-api python-3 bot discord-bot discord-py

Sebastian Law 5439a67056 [tasks] Fix sleep handling behaviour depending on interval type Relative time intervals can be thought of as: for _ in range(count): await body() await asyncio.sleep(interval) While explicit time intervals should be thought of as: times = [1pm, 2pm, 3pm, 12am] current = 0 for _ in range(count): time = times.wrapping_index(current) # magic to wrap around await utils.sleep_until(time) await body() current += 1	3 years ago
..
__init__.py	[tasks] Fix sleep handling behaviour depending on interval type	3 years ago

[tasks] Fix sleep handling behaviour depending on interval type

Relative time intervals can be thought of as:

  for _ in range(count):
    await body()
    await asyncio.sleep(interval)

While explicit time intervals should be thought of as:

  times = [1pm, 2pm, 3pm, 12am]
  current = 0
  for _ in range(count):
    time = times.wrapping_index(current)  # magic to wrap around
    await utils.sleep_until(time)
    await body()
    current += 1

3 years ago

__init__.py

[tasks] Fix sleep handling behaviour depending on interval type

3 years ago