web7 is not responding

We are looking into it.

We are rebooting it.

It has come up and working fine.