Idea 11.1.1: Plugin-Server down?

Am 05.04.12 09:12, schrieb Tilman Walter:

Hi List,

>

i tried to update php-plugin to latest version, but cannot connect to
plugin-server.
Is server down at the moment?

>

Regards,
Tilman

Hi list,

it works again.