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