Armin Novak 65a05fc490 [core,server] set freed pointer NULL
Fixes #9271: after freeing the memory reset it to NULL to signal it was
already handled.
2023-08-21 13:35:36 +02:00
..
2023-08-01 08:37:58 +02:00
2023-07-28 16:42:23 +02:00
2023-07-24 09:54:49 +02:00
2023-07-27 20:02:43 +02:00
2023-07-28 13:42:12 +02:00
2022-11-15 09:57:46 +01:00
2022-11-15 09:57:46 +01:00
2023-02-12 20:17:11 +01:00
2023-07-21 09:14:54 +02:00
2023-07-06 15:51:56 +02:00
2023-07-06 15:51:56 +02:00
2023-03-08 14:05:00 +01:00
2023-01-17 12:25:31 +01:00
2023-08-21 13:35:36 +02:00
2023-07-28 13:42:12 +02:00
2022-12-14 11:52:00 +01:00
2023-01-25 14:27:32 +01:00
2023-01-25 14:27:32 +01:00