Commit Graph

1 Commits (7969a701c3ba0495bc2a9e6870a7ce4d62002f4e)

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