Changed hostlist handling in wshc