K 10 svn:author V 3 bde K 8 svn:date V 27 1999-07-04T15:42:04.000000Z K 7 svn:log V 107 Improved error handling in rev.1.18: don't ignore failure of execve(). Fixed some style bugs in rev.1.18. END