server notifies clients when user disconnects
Merge branch 'notify-user-dc'