Question: What would be the steps to restart the server properly?

[ZweiEuro]

Hi,
Yes I've read multiple times that you do not seem it a practical use case which is completely fine.

As far as I can read in order to restart the server properly all the memory allocated by the NEW_HOMEKIT_ after stopping the main server loop.
Though doesn't server_free do that already anyways? Doesn't that mean the only thing missing is a way to interrupt the main loop of the server and it will just deallocate itself

Am i missing something to clear/reset or is that all the data that gets allocated in this way ?

-Dominik