Commit Graph

1 Commits (75cffcb34720b7d0950afa26e09dd1cc6b110b4b)

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