[µ benchmark] Fix shutdown of naming server