Re: [Geoserver-devel] GeoServer documentation builds failing: disk quota exceeded

2018-07-12 Thread Andrea Aime
Awesome, thank you! Cheers Andrea On Thu, Jul 12, 2018 at 5:52 PM, Torben Barsballe < tbarsba...@boundlessgeo.com> wrote: > More space has been added, and the doc build appears to be running > smoothly again. > > Torben > > On Wed, Jul 11, 2018 at 4:18 PM, Torben Barsballe < >

Re: [Geoserver-devel] GeoServer documentation builds failing: disk quota exceeded

2018-07-12 Thread Torben Barsballe
More space has been added, and the doc build appears to be running smoothly again. Torben On Wed, Jul 11, 2018 at 4:18 PM, Torben Barsballe < tbarsba...@boundlessgeo.com> wrote: > I'm looking into it, the server has indeed run out of space. Trying to see > if I can get the quota enlarged. > >

Re: [Geoserver-devel] GeoServer documentation builds failing: disk quota exceeded

2018-07-11 Thread Torben Barsballe
I'm looking into it, the server has indeed run out of space. Trying to see if I can get the quota enlarged. I'll update when this is fixed. Cheers, Torben On Wed, Jul 11, 2018 at 1:55 AM, Andrea Aime wrote: > Hi, > we have a build stuck for 17 hours, the last error message is on rsync, >