Re: [ jEdit-devel ] [Bug #116090] Use JCompile and Quit JEdit crash...

[Dirk M. <dmo...@gm...>]

no...@so... wrote:
> Details: when i try to use JCompile and then Quit JEdit , here is the result:
> 
> with  Linux 2.2.16   JDK 1.3 rc1 (sun)
> JEdit 2.6pre7   JCompile 0.4.8
> 
> [error] Exception occurred during event dispatching:
> [error] java.lang.SecurityException: No exit is allowed
> [error]         at jcompiler.NoExitSecurityManager.checkExit(NoExitSecurityManager.java:60)

This is because JCompiler installs its own ExitSecurityManager, but
doesn't restore the original one, when JCompiler is closed (at jEdit's
exit time).

I'll try to fix that in the next release. Thanks for the info.

Dirk.