toolcontext: add `ToolContext::quit` to perform a correct shutdown of the program
authorJean Privat <jean@pryen.org>
Sat, 7 Nov 2015 04:08:24 +0000 (23:08 -0500)
committerJean Privat <jean@pryen.org>
Sat, 7 Nov 2015 04:08:24 +0000 (23:08 -0500)
commit541bc3e871ceb37a34c2ec7b3ef1e1af48c5416b
tree59ff214e3f407ba974b28e4d3bae7069508aed6c
parentaa32ec6e6d68c3ca9f18f2b8deb88bd7ec768e69
toolcontext: add `ToolContext::quit` to perform a correct shutdown of the program

Signed-off-by: Jean Privat <jean@pryen.org>
src/toolcontext.nit