On 20 August 2015 at 06:25, Pasindu De Silva <[email protected]> wrote:

> status.php.net shows that it was last updated on Thursday, the 25th of
> June, 2015, at 05:01:24.
> In manage/mirrors.php?id=226 Last mirror check time and Last update time
> both seems to be incorrect (other servers data seems to correct).
>
> On Thu, Aug 20, 2015 at 8:41 AM, Christoph Becker <[email protected]>
> wrote:
>
>> On 19.08.2015 at 17:16, Hannes Magnusson wrote:
>>
>> > On Wed, Aug 19, 2015 at 8:01 AM, Christoph Becker <[email protected]>
>> wrote:
>> >> On 19.08.2015 at 16:36, Hannes Magnusson wrote:
>> >>
>> >>> On Wed, Aug 19, 2015 at 5:18 AM, Christoph Becker <[email protected]>
>> wrote:
>> >>>> On 19.08.2015 at 13:58, Jean-Sébastien Hedde wrote:
>> >>>>
>> >>>>> It's seems that lots of translation builds are broken since august
>> 8th
>> >>>>> (cf http://php.net/download-docs.php).
>> >>>>>
>> >>>>> We didn't received build errors on doc-fr.
>> >>>>
>> >>>> I guess that is related to <https://bugs.php.net/bug.php?id=70203>.
>> >>>> (CC'ing the webmaster list.)
>> >>>
>> >>> That seems like something that could have been caused by the recent
>> >>> force pushed to the repo.
>> >>
>> >> Um, the force push happened on 2015-08-08[1], but the doc server hasn't
>> >> been synced since 2015-08-06 at least[2].
>> >
>> > Then I've no idea. I can't actually even ssh into the server....
>> > Unsure why it doesn't recognize my ssh keys....
>>
>
Hi chaps. Some of the cron jobs were stuck, which prevented later ones of
the
same job from happening. After stopping those stuck jobs, things should
hopefully
be updating again. At the very least, it looks like docs.php.net has the
preg_last_error()
change for PHP 7 (https://bugs.php.net/bug.php?id=70203).

Hannes, I'm not sure why it doesn't recognize your SSH key. I could stick
your key on
there if you want. I could log in directly (i.e. not via one of the jump
boxes) and had to
use a password rather than a key (which is okay because I don't think euk2
has any
keys from my machine). But not using the jump boxes is a separate issue for
another day.



>
>> Who's our contact at eUKhost?  According to status.php.net the server
>> was last updated 2012-05-20, what's obviously overstated, though.
>>
>> --
>> Christoph M. Becker
>>
>>
>
>
> --
>
> *Pasindu De Silva**[email protected] <[email protected]>*
>

Reply via email to