1 Commits (3106606a4ebd326eb3ba5c29c634770a25c1aa83)

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