Fix resource search for workspace manager
Replaced loop on OR by IN
Merge pull request #613 from kitan1982/ws-manager-bugfix

Fix resource search for workspace manager