[isabelle-dev] Silent exit if settings file has non-zero exit code

[Lars Noschinski]

Hi everyone,

I just noticed that the main isabelle executable exits silently if the 
last command in a settings file has a non-zero exit code (this might 
happen quite naturally if for example $PATH_OF_COMPONENT does not exist 
in the following construct:

    [ -d "$PATH_OF_COMPONENT" ] && init_component "$PATH_OF_COMPONENT"

). Is this intentional or would a patch outputting an error message be 
acceptable?

   -- Lars