[ jEdit-devel ] [ jedit-Patches-3609561 ] fix for #2940864 - Exception when clicking Find orphan

Patches item #3609561, was opened at 2013-03-30 11:15
Message generated for change (Comment added) made by kerik-sf
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3609561&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Eric Le Lay (kerik-sf)
Assigned to: Nobody/Anonymous (nobody)
Summary: fix for #2940864 - Exception when clicking Find orphan

Initial Comment:
fix for https://sourceforge.net/tracker/index.php?func=detail&aid=2940864&group_id=588&atid=100588

attached is a fix for the exceptions when clicking Find orphan when some plugins are disabled.

Main fix is to check PluginJAR.generateCache() if reading actions.xml, services.xml, dockables.xml has a chance to succeed before trying to do it.

It contains robustness checks (is InputStream null before parsing from it) in ServicesManager, JEditActionSet, DockableWindowFactory. They are not strictly necessary, since they don't get called anymore.

----------------------------------------------------------------------

>Comment By: Eric Le Lay (kerik-sf)
Date: 2013-03-30 14:09

Message:
also fix a NullPointerException when a not loaded plugin's cache can not be
loaded.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3609561&group_id=588