]> git.jsancho.org Git - gacela.git/commitdiff
Improving engine exit
authorJavier Sancho <jsf@jsancho.org>
Sun, 26 Jan 2014 16:23:58 +0000 (17:23 +0100)
committerJavier Sancho <jsf@jsancho.org>
Sun, 26 Jan 2014 16:23:58 +0000 (17:23 +0100)
* src/engine.scm: Problem with ^C for aborting engine execution
                  solved.


No differences found