[ jEdit-devel ] [ jedit-Merge Requests-3514600 ] jar-cache not removed

[SourceForge.net <no...@so...>]

Merge Requests item #3514600, was opened at 2012-04-03 07:37
Message generated for change (Comment added) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3514600&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: for 4.5.x
>Status: Closed
>Resolution: Accepted
Priority: 5
Private: No
Submitted By: Matthieu Casanova (kpouer)
>Assigned to: Alan Ezust (ezust)
Summary: jar-cache not removed

Initial Comment:
Please merge rev 21554 to fix bug #3514022
https://sourceforge.net/tracker/index.php?func=detail&aid=3514022&group_id=588&atid=100588#

The problem is that if a plugin is unloaded then the jar removed, the jar-cache is never deleted.

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

>Comment By: Alan Ezust (ezust)
Date: 2012-05-13 13:40

Message:
Committed rev# 21669 to 4.5.x.

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

Comment By: Matthieu Casanova (kpouer)
Date: 2012-04-03 08:19

Message:
http://jedit.svn.sourceforge.net/viewvc/jedit?view=revision&revision=21554

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

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