Romain Vimont c78254fcd1 Split server stop() and join()
For consistency with the other components, call stop() and join()
separately.

This allows to stop all components, then join them all.
2023-03-10 22:22:15 +01:00
..
2023-03-10 22:22:15 +01:00
2023-01-30 20:57:54 +01:00
2023-03-10 22:22:15 +01:00
2022-12-22 12:33:29 +01:00
2023-02-18 19:10:25 +01:00