/jEdit/tags/jedit-4-0-pre3/bsh/commands/exit.bsh
Unknown | 8 lines | 6 code | 2 blank | 0 comment | 0 complexity | 3c72230129e8731c81c172f8d25898f3 MD5 | raw file
1 2bsh.help.exit = "usage: exit()"; 3 4exit() { 5 // shutdown Java VM unless flagged 6 if ( bsh.system.shutdownOnExit != false ) 7 System.exit(0); 8}