I'm not up on how opengrok is hooked into the gem5.org site, but I ssh-ed in and saw this in one of the log files:
2018-02-24 06:42:31.799-0500 INFO t1 Indexer.sendToConfigHost: Send configuration to: localhost:2424 2018-02-24 06:42:31.813-0500 SEVERE t1 Indexer.sendToConfigHost: Failed to send configuration to localhost:2424 (is web application server running with opengrok deploye d?) It looks like some of the config may have been damaged, or some piece of the setup hasn't been started like it's supposed to be. Without more information about how it's *supposed* to work, it's hard to say. Gabe On Fri, Feb 23, 2018 at 6:08 AM, Ciro Santilli <ciro.santi...@arm.com> wrote: > On http://gem5.org on the sidebar there is a link "Search Source" that > points to http://grok.gem5.org/ which gives "Service Unavailable". > > > Can we either fix the instance, or remove the link? > > > Personally, I'd just remove it, GitHub + ctags is enough for me. > > > IMPORTANT NOTICE: The contents of this email and any attachments are > confidential and may also be privileged. If you are not the intended > recipient, please notify the sender immediately and do not disclose the > contents to any other person, use it for any purpose, or store or copy the > information in any medium. Thank you. > _______________________________________________ > gem5-dev mailing list > gem5-dev@gem5.org > http://m5sim.org/mailman/listinfo/gem5-dev _______________________________________________ gem5-dev mailing list gem5-dev@gem5.org http://m5sim.org/mailman/listinfo/gem5-dev