1 Commits (e0211991783213e456a6ede1829d822de550971d)

Author	SHA1	Message	Date
Matthew Cline	8ad6a56704	Linux only plugin: use "die" command to kill game ... Since you can't do "Ctrl-Z kill -9 %1" from the console, instead just give the "die" command to terminate the game without saving. Linux only, since _exit() probably doesn't work on Windows. Need to set cmake option BUILD_KILL_GAME to ON to compile this plugin.	2011-07-13 23:52:06 -07:00