[BUG #7561] some more info for source-server-reload