Kevin Svetlitski
9c32689e57
Fix bug where hpa_shard was not being destroyed
...
It appears that this was a simple mistake where `hpa_shard_disable` was
being called instead of `hpa_shard_destroy`. At present
`hpa_shard_destroy` is not called anywhere at all outside of test-cases,
which further suggests that this is a bug. @davidtgoldblatt noted
however that since HPA is disabled for manual arenas and we don't
support destruction for auto arenas that presently there is no way to
actually trigger this bug. Nonetheless, it should be fixed.
2023-05-18 14:17:38 -07:00
..
2023-05-01 10:00:30 -07:00
2023-05-11 09:10:57 -07:00
2021-12-20 15:37:53 -08:00
2021-12-23 10:55:08 -08:00
2020-07-08 13:20:59 -07:00
2020-06-19 12:15:44 -07:00
2020-06-19 12:15:44 -07:00
2022-09-06 19:41:19 -07:00
2021-12-23 10:55:08 -08:00
2020-06-19 12:15:44 -07:00
2023-05-11 20:27:49 -07:00
2023-05-08 15:00:02 -07:00
2017-12-21 14:25:43 -08:00
2021-12-15 10:39:17 -08:00
2021-07-26 15:14:37 -07:00
2021-08-02 15:02:49 -07:00
2021-09-26 16:30:15 -07:00
2021-12-15 10:39:17 -08:00
2021-08-02 15:02:49 -07:00
2020-11-13 13:42:33 -08:00
2021-03-12 19:17:25 -08:00
2020-06-19 12:15:44 -07:00
2023-05-09 10:55:44 -07:00
2020-12-04 23:48:19 -08:00
2020-04-14 15:20:19 -07:00
2021-12-21 23:37:22 -08:00
2023-05-08 15:00:02 -07:00
2021-08-02 15:02:49 -07:00
2021-02-04 14:10:43 -08:00
2022-11-21 11:14:05 -08:00
2023-05-11 20:27:49 -07:00
2021-10-07 11:50:38 -07:00
2017-07-22 09:38:19 -07:00
2023-05-11 20:27:49 -07:00
2021-08-05 14:33:16 -07:00
2021-12-21 23:37:22 -08:00
2020-12-07 06:21:08 -08:00
2023-05-18 14:17:38 -07:00
2021-12-23 10:55:08 -08:00
2023-05-11 20:27:49 -07:00
2021-12-15 10:39:17 -08:00
2020-11-05 12:33:25 -08:00
2023-04-05 10:03:12 -07:00
2023-04-05 10:03:12 -07:00
2023-05-11 09:10:57 -07:00
2021-01-07 20:39:49 -08:00
2023-05-11 14:47:50 -07:00
2023-04-05 10:03:12 -07:00
2021-07-12 17:59:18 -07:00
2020-06-19 12:15:44 -07:00
2022-04-25 11:29:32 -07:00
2021-12-15 10:39:17 -08:00
2021-12-29 14:44:43 -08:00
2022-03-24 16:56:59 -07:00
2022-03-24 22:05:35 -07:00
2023-05-11 20:27:49 -07:00
2021-02-11 11:32:01 -08:00
2022-01-04 13:55:06 -08:00
2018-05-18 11:43:03 -07:00
2021-11-16 10:28:00 -08:00
2021-02-04 14:10:43 -08:00
2021-02-04 14:10:43 -08:00
2022-10-25 09:54:38 -07:00
2020-06-19 12:15:44 -07:00
2017-07-10 18:17:12 -07:00