A KeyboardInterrupt is trapped by xenv and ignored (an error message is printed) so that it can wait for the subprocess to complete.
xenv
Fixes GAUDI-1101.