fix a bash grep pb
remove exit...