-
GILLES Sebastien authored
#1479 Use private inheritance for GracefulExit (we don't want it trapped by the catch over other exceptions).
ecf26a3f
#1479 Use private inheritance for GracefulExit (we don't want it trapped by the catch over other exceptions).