Re: [ jEdit-users ] error updating/installing new plugins

[Jeffrey H. <jc...@gm...>]

Please try updating to a different mirror.  I usually use easynews and
have no problems.  GlobalOptions->PluginManager->click "Update Mirror
List"

Jeff

> Hi!
>
> I'm getting following error when trying to access plugin central from
> within jedit, that is
> to update or install new plugins:
>
> [error] PluginManager$3:
> http://plugins.jedit.org/export/gzip_plugin_manager.php:2: The markup in
> the document following the root element must be well-formed.
>
> (taken from activity log, but a error pop-up is displayed as well)
>
> Greetings,
>
> Esad
>
>
> -------------------------------------------------------------------------
> Using Tomcat but need to do more? Need to support web services, security?
> Get stuff done quickly with pre-integrated technology to make your job easier
> Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
> http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>


-- 
They that give up essential liberty to obtain a little temporary
safety deserve neither.