PageRenderTime 42ms CodeModel.GetById 40ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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}