K 10 svn:author V 3 phk K 8 svn:date V 27 1999-08-29T14:54:11.000000Z K 7 svn:log V 113 Remove unneeded "maj" variable. Give up if we have already started dumping once before. Print name of dumpdev. END