Vaadin Trac : No space left on device

Hi,

I think you should take a look at the server that takes care of the Vaadin Trac page…
This is the error that i got:

Oops…

Trac detected an internal error:
OperationalError: could not extend relation 1663/17641/17663: No space left on device
HINT: Check free disk space.
There was an internal error in Trac. It is recommended that you notify your local Trac administrator with the information needed to reproduce the issue.

To that end, you could a ticket.

The action that triggered the error was:

GET: /query

Kind regards,
Jan

We are working on fixing this.