EWouters 097145392c set -e and set +e around line 800 to 815 ... I am not sure why this statement does not work with -e. We can also remove the set -e statement altogether.		2017-03-14 15:39:07 +13:00
..
install.sh	set -e and set +e around line 800 to 815	2017-03-14 15:39:07 +13:00