PageRenderTime 3ms CodeModel.GetById 1ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-1-pre5/bsh/commands/exit.bsh

#
Unknown | 11 lines | 9 code | 2 blank | 0 comment | 0 complexity | 3808b6a8968d5a8e94154f4c1a93a590 MD5 | raw file
 1/**
 2	Call System.exit(0) unless bsh.system.shutdownOnExit == false.
 3*/
 4
 5bsh.help.exit = "usage: exit()";
 6
 7exit() {
 8	// shutdown Java VM unless flagged
 9	if ( bsh.system.shutdownOnExit != false )
10		System.exit(0);
11}