weird behavior of set -e

[Harald Dunkel]

Hi folks,

A colleague pointed me to this problem: If I run

        ( set -e; ( false; echo x ) )

in bash 4.1.5, then there is no screen output, as
expected. If I change this to

        ( set -e; ( false; echo x ) || echo y )

then I get "x" instead of "y". How comes?


Any helpful comment would be highly appreciated.

Harri