/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
- bsh.help.exit = "usage: exit()";
- exit() {
- // shutdown Java VM unless flagged
- if ( bsh.system.shutdownOnExit != false )
- System.exit(0);
- }