Fix: After restored servlet-name and tool-id, sending messages to users got broken