Merge branch 'master' of https://github.com/worklist/hifi
name the current domain server
Merge branch 'master' of https://github.com/worklist/hifi
Merging changes
Merge pull request #987 from stojce/19422

Code Review for Job #19422