Update worker list when informed of changes via websocket