Re: [ros-users] doc indexer problem?

Yup, probably because Github was flaky on Friday (don't know about
Saturday). The doc indexer is currently as flaky as the stuff it
indexes. Various attempts have examined making the indexer more
parallel, and thus more fault tolerant, but they haven't been a high
priority. The current effect is about every 1-2 weeks the indexer has
a bad day.

- Ken

On Sun, Feb 12, 2012 at 12:25 PM, Michael Carroll
<carroll.michael@gmail.com> wrote:
> Looks like the rosdoc indexer is
> broken: http://build.willowgarage.com/job/rosdoc/ and hasn't run
> successfully in about two days.  Looks like you got in right before it
> broke.
>
> ~mc
>
>
> On Sun, Feb 12, 2012 at 11:18, Jack O'Quin <jack.oquin@gmail.com> wrote:
>>
>> I committed some new messages, stacks and packages to my repository
>> Friday, and after two nights there are still no updates on the wiki.
>>
>> Is that due to some known problem?
>> --
>>  joq
>> _______________________________________________
>> ros-users mailing list
>> ros-users@code.ros.org
>> https://code.ros.org/mailman/listinfo/ros-users
>
>
>
> _______________________________________________
> ros-users mailing list
> ros-users@code.ros.org
> https://code.ros.org/mailman/listinfo/ros-users
>