#2 Fix a bug during initialization of the messaging server