ajaxorg/cloud9 — pull request #2243 by sergi (2012-09-28 15:40:59+00:00)
Title: Server crash: Cannot read property 'uri' of undefined

This fix prevents a server crash when the `this.options` object is undefined. Of course, that object should be never undefined, but this should be looked at in the future by @ajaxorg/dijkstra, since this `search.js` file is a bit messy and should be refactored anyway.

Fixes ajaxorg/cloud9infra#2768

@fjakobs @ajaxorg/dijkstra