K 10 svn:author V 5 joerg K 8 svn:date V 27 1996-05-26T18:27:55.000000Z K 7 svn:log V 76 Merge the fix from rev 1.2:, closes PR # bin/1244: rs(1) dumps core with -s END