Re: cannot access opengrok.libreoffice.org (but ping works)

Ilmari Lauhakangas <ilmari.lauhakangas -AT- libreoffice.org>

Tue, 21 Jul 2020 14:46:47 +0300

himajin100000 kirjoitti 21.7.2020 klo 14.36:

Hi,

I currently have difficulty accessing opengrok.libreoffice.org
Can anyone reproduce this issue?

The machine was restarted 45 minutes ago and it works again.

In such circumstances it is advised to just use git grep or whichever

grepping tool you like best against your local clone of the source code.

Ilmari

Context

Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.