[isabelle-dev] Testboard [was: typedef (open) legacy]

[Lukas Bulwahn]

On 10/10/2012 12:51 PM, Florian Haftmann wrote:
>>> I cannot connect to testboard at the moment, it seems to be in bad
>>> shape again.
>> The testboard should now be in a running state again.
>
> For the record: is there any diagnosis what went wrong?
>
On the webserver, spidermonkey was updated on Monday evening, and some 
changes were incompatible for couchdb. This caused couchdb to fail silently.

Lukas