Aurelien DARRAGON
2a9764baae
CLEANUP: hlua: avoid confusion between internal timers and tick based timers
...
Not all hlua "time" variables use the same time logic.
hlua->wake_time relies on ticks since its meant to be used in conjunction
with task scheduling. Thus, it should be stored as a signed int and
manipulated using the tick api.
Adding a few comments about that to prevent mixups with hlua internal
timer api which doesn't rely on the ticks api.
2023-04-19 11:03:31 +02:00
..
2022-11-14 11:14:02 +01:00
2022-04-25 15:28:21 +02:00
2023-04-14 15:01:21 +02:00
2023-04-14 14:46:07 +02:00
2022-11-22 16:27:52 +01:00
2022-11-24 15:24:02 +01:00
2023-04-18 18:57:04 +02:00
2023-04-16 09:58:49 +02:00
2022-04-19 08:23:30 +02:00
2022-06-23 11:49:09 +02:00
2023-02-21 11:44:55 +01:00
2023-02-21 11:44:55 +01:00
2023-01-27 15:18:59 +01:00
2023-03-31 17:09:03 +02:00
2023-04-19 08:38:06 +02:00
2023-02-03 18:00:20 +01:00
2022-04-26 10:59:48 +02:00
2023-04-19 10:46:21 +02:00
2023-04-17 17:41:28 +02:00
2023-04-05 08:58:16 +02:00
2022-08-17 10:45:22 +02:00
2023-04-18 18:57:04 +02:00
2023-04-19 11:03:31 +02:00
2023-04-07 00:46:59 +02:00
2023-03-16 15:34:20 +01:00
2022-07-15 19:43:10 +02:00
2023-04-14 15:01:21 +02:00
2023-04-11 08:19:06 +02:00
2023-04-05 17:06:38 +02:00
2022-09-21 09:06:28 +02:00
2022-09-21 09:06:28 +02:00
2022-09-21 09:06:28 +02:00
2022-09-09 11:15:22 +02:00
2022-07-15 20:16:30 +02:00
2023-04-05 08:58:17 +02:00
2022-10-12 21:49:30 +02:00
2023-01-27 15:18:59 +01:00
2022-12-09 12:23:14 +01:00
2023-04-13 18:04:46 +02:00
2023-04-17 17:41:28 +02:00
2023-04-17 17:41:28 +02:00
2023-04-07 00:49:17 +02:00
2023-04-05 08:57:05 +02:00
2022-12-14 10:44:17 +01:00
2023-04-07 18:14:28 +02:00
2023-02-27 17:45:45 +01:00
2023-02-14 08:48:54 +01:00
2022-12-14 11:34:18 +01:00
2022-05-30 09:59:26 +02:00
2023-03-23 14:38:06 +01:00
2023-04-05 08:58:16 +02:00
2022-11-14 11:14:02 +01:00
2023-04-05 08:58:17 +02:00
2023-04-19 11:03:31 +02:00
2023-02-14 08:48:54 +01:00
2023-01-26 11:36:39 +01:00
2022-04-12 08:30:08 +02:00
2023-02-17 16:25:00 +01:00
2023-04-14 15:06:04 +02:00
2023-04-18 18:57:04 +02:00
2023-04-11 07:43:26 +02:00
2023-04-01 18:33:40 +02:00
2023-04-01 18:33:40 +02:00
2023-04-17 17:41:28 +02:00
2023-01-27 15:18:59 +01:00
2022-04-25 19:26:26 +02:00
2023-03-30 14:11:10 +02:00
2023-02-03 13:39:18 +01:00
2022-04-22 15:45:47 +02:00
2023-03-08 10:43:04 +01:00
2023-04-18 17:09:34 +02:00
2023-04-17 16:50:30 +02:00
2022-04-12 08:19:33 +02:00
2022-06-08 15:28:38 +02:00
2023-04-14 15:01:21 +02:00
2023-03-16 15:34:20 +01:00
2023-04-11 08:45:18 +02:00
2023-04-18 15:58:55 +02:00
2023-04-05 08:57:05 +02:00
2023-04-01 18:33:40 +02:00
2023-04-05 16:02:36 +02:00
2023-04-14 15:01:21 +02:00
2022-11-29 15:15:27 +01:00
2023-03-22 17:30:28 +01:00
2022-05-27 19:33:35 +02:00
2023-04-05 08:57:05 +02:00
2023-03-22 18:05:02 +01:00
2023-04-18 17:09:34 +02:00
2022-07-25 16:11:11 +02:00
2023-04-08 15:01:57 +02:00
2023-01-16 14:00:50 +01:00
2023-02-23 15:05:05 +01:00
2023-02-23 15:05:05 +01:00
2023-02-23 15:05:05 +01:00
2023-04-14 15:01:21 +02:00
2023-02-17 16:25:00 +01:00
2023-03-22 16:08:54 +01:00
2023-03-17 16:43:51 +01:00
2022-05-30 14:30:05 +02:00
2022-11-24 15:38:26 +01:00
2022-07-30 10:00:59 +02:00
2023-04-13 19:20:08 +02:00
2023-04-13 19:20:08 +02:00
2023-04-02 13:10:13 +02:00
2022-10-03 16:25:17 +02:00
2023-04-19 10:18:58 +02:00
2023-03-31 09:54:59 +02:00
2023-04-18 17:09:02 +02:00
2023-04-18 17:09:02 +02:00
2022-12-02 14:45:43 +01:00
2022-10-13 10:12:03 +02:00
2023-03-03 19:12:26 +01:00
2023-03-08 08:50:54 +01:00
2023-01-12 16:37:45 +01:00
2022-09-01 19:34:46 +02:00
2023-04-11 08:19:06 +02:00
2023-04-14 15:01:21 +02:00
2023-03-08 10:43:04 +01:00
2023-04-07 18:14:28 +02:00
2023-02-09 18:04:10 +01:00
2022-09-09 11:15:22 +02:00
2023-04-05 08:58:16 +02:00
2022-11-14 11:14:02 +01:00
2023-01-11 11:27:20 +01:00
2023-02-23 15:05:05 +01:00
2023-03-08 16:07:32 +01:00
2023-04-14 15:01:21 +02:00
2023-04-19 09:12:43 +02:00
2023-03-31 09:10:36 +02:00
2022-11-18 15:24:23 +01:00
2023-04-19 09:12:43 +02:00
2022-12-21 11:21:07 +01:00
2023-04-17 17:41:28 +02:00
2023-04-18 18:57:04 +02:00
2023-04-14 15:01:21 +02:00
2023-04-17 17:41:28 +02:00
2023-04-18 16:20:47 +02:00
2023-04-14 14:04:59 +02:00
2023-04-17 17:41:28 +02:00
2023-03-16 11:26:53 +01:00
2023-04-07 16:04:54 +02:00
2023-04-18 16:54:17 +02:00
2023-03-22 17:30:28 +01:00
2023-04-05 08:46:06 +02:00
2022-11-14 11:14:02 +01:00
2023-02-17 16:01:34 +01:00
2022-06-23 11:49:09 +02:00
2023-04-18 17:09:34 +02:00