Fixing resource manager search.

Fixes claroline/Claroline#237