Files
0ad/source/ps
phosit d85eef067b Make TaskManager independent of Future
`TaskManager` and `Future` where coupled together. When a task is pushed
a future is returned. Also the `Future::Wrap` function was inconvenient
to use.
Now `TaskManager::PushTask` doesn't return a `Future` anymore. This
alows to use different `Future`-like types.
Also it's possible to easily use the `Future` with a different type that
implements a `PushTask` function.
2025-08-28 20:01:39 +02:00
..
2025-08-13 19:38:21 +02:00
2025-08-03 15:57:56 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-07-27 16:07:14 +02:00
2025-07-28 16:59:04 +02:00
2025-07-29 18:19:59 +02:00
2025-08-05 07:21:22 +02:00
2024-12-10 11:29:48 +01:00
2025-07-02 13:20:13 +02:00
2025-07-28 16:59:04 +02:00
2025-07-28 16:59:04 +02:00
2025-08-03 15:57:56 +02:00
2025-07-28 16:59:04 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-08-13 19:38:21 +02:00
2025-08-05 07:21:22 +02:00
2025-08-03 15:57:56 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-07-28 16:59:04 +02:00
2025-08-03 15:57:56 +02:00
2025-08-14 20:15:30 +02:00
2025-08-03 15:57:56 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-08-13 19:38:21 +02:00
2025-08-05 07:21:22 +02:00
2025-08-03 15:57:56 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-08-03 15:57:56 +02:00
2025-08-05 07:21:22 +02:00
2025-08-03 15:57:56 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-08-05 07:21:22 +02:00
2025-07-28 16:59:04 +02:00
2025-08-05 07:21:22 +02:00