[#1874] Make executeStream feed an EOF