loop
+
+echo 'true </dev/null 2>&1 &
+PID=$!
+sleep 4
+kill -KILL $! 2>/dev/null &&
+ echo 'FAIL: unterminated heredoc spanning end-of-file probably stuck in an
endless loop' ||
+ echo 'OK: unterminated heredoc spanning end-of-file dealt with correctly'
+wait 2>/dev/null
+
# check that end of file delimits a here-document
# THIS MUST BE LAST!
--
Lubomir Rintel
On Sun, 2009-03-22 at 13:03 -0400, Chet Ramey wrote:
> Lubomir Rintel wrote:
>
> > Bash Version: 4.0
> > Patch Level: 10
> > Release Status: release
> >
> > Description:
> > If the heredoc input is terminted with end-of-file by pressing ^D
> >
