view frontends/src/tools/__init__.py @ 1869:9d9d61d53684

jp (base): fixed Jp.quit when exit code is 0
author Goffi <goffi@goffi.org>
date Wed, 02 Mar 2016 19:45:02 +0100
parents 56aa0e98c92e
children
line wrap: on
line source