8 Commits

Author	SHA1	Message	Date
bugdea1er	e3ff9238a4	Add option to use Boost.Asio	2024-04-19 17:06:13 +02:00
Luca Schlecker	3a485078b8	rework the way asio is handled as a dependency.	2022-06-22 18:14:09 +02:00
Luca Schlecker	58583bf1a5	deboostify task_timer.	2022-06-18 17:21:37 +03:00
The-EDev	94a2f942bc	changed comment style back to the original (doxygen did not work with the new style)	2021-12-03 06:39:23 +03:00
The-EDev	7f4b7c8ff9	created new rules, used bot to enforce rules in PRs	2021-11-25 14:45:38 +03:00
Luca Schlecker	118c992e0d	task_timer: align comment style with Crow's. ... Signed-off-by: Luca Schlecker <luca.schlecker@hotmail.com>	2021-11-21 15:45:40 +01:00
Luca Schlecker	6458184e8f	task_timer: rename `set_timeout` to `schedule`. ... Signed-off-by: Luca Schlecker <luca.schlecker@hotmail.com>	2021-11-20 17:03:58 +01:00
Luca Schlecker	de92d28f29	replace `dumb_timer_queue` with new `task_timer`. ... fixes #264, lays ground for #273 and #257. Signed-off-by: Luca Schlecker <luca.schlecker@hotmail.com>	2021-11-19 18:55:10 +01:00