1 Commits (83b190b5d8ba49ac7ee04ae66c3cb924028e819c)

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