I just tried to upload a new version of the Jetty Integration plug-in but the update doesn't appear to have worked correctly.
After submitting the update form I got this at the top of the next page:
Warning: copy(/var/www/beta.plugins.intellij.net/files/Jetty_Integration_3507.zip): failed to open stream: Permission denied in /var/www/beta.plugins.intellij.net/plugin/edit/index.php on line 266
Warning: Cannot modify header information - headers already sent by (output started at /var/www/beta.plugins.intellij.net/plugin/edit/index.php:266) in /var/www/beta.plugins.intellij.net/plugin/edit/index.php on line 324
The plug-in's homepage shows the new version as available for download, as does the plug-in manager in IDEA, but attempts to download it result in error messages.
Anyone at Jetbrains able to fix this?