exit.bsh | searchcode

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

#
Unknown | 8 lines | 6 code | 2 blank | 0 comment | 0 complexity | 3c72230129e8731c81c172f8d25898f3 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0



bsh.help.exit = "usage: exit()";

exit() {
	// shutdown Java VM unless flagged
	if ( bsh.system.shutdownOnExit != false )
		System.exit(0);
}