1 Commits (3afa35df61e7b12e1cf2a50e14c0cc8d944992ce)

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