Source code browser OpenGrog broken?

[Marco Molteni]

Hi all,

if I try a search on http://mv.ezproxy.com.ezproxyberklee.flo.org/opengrok/krb5/ it tells me:
"Error: Index database not found"

Any ideas?

thanks
marco