# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1473797025 -7200
# Node ID 3d633458d96279b63153b16a0e3d5fab0729a5c5
# Parent  11fb5f5e2f899e06a062ec878fef330b4ac86cb3
jp (core): added EXIT_NOT_FOUND constant, which return 16 as exit code

diff -r 11fb5f5e2f89 -r 3d633458d962 frontends/src/jp/constants.py
--- a/frontends/src/jp/constants.py	Tue Sep 13 22:02:52 2016 +0200
+++ b/frontends/src/jp/constants.py	Tue Sep 13 22:03:45 2016 +0200
@@ -34,6 +34,7 @@
     EXIT_OK = 0
     EXIT_ERROR = 1 # generic error, when nothing else match
     EXIT_BAD_ARG = 2 # arguments given by user are bad
+    EXIT_NOT_FOUND = 16 # an item required by a command was not found
     EXIT_FILE_NOT_EXE = 126 # a file to be executed was found, but it was not an executable utility (cf. man 1 exit)
     EXIT_CMD_NOT_FOUND = 127 # a utility to be executed was not found (cf. man 1 exit)
     EXIT_SIGNAL_INT = 128 # a command was interrupted by a signal (cf. man 1 exit)