]> git.jsancho.org Git - gacela.git/commit
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)
commitdf351b3449f3793e8bebbd6abdbc73edf3a1b1df
treeb3e031a9e86adc5216d7a332852a305e283b2d96
parent405b60cfd27f00e8dda02e19abe09bf7990bfbc2
Improving engine exit

* src/engine.scm: Problem with ^C for aborting engine execution
                  solved.
src/engine.scm