cms-sw/cmssw — pull request #2447 by deguio (2014-02-13 09:07:58+00:00)
Title: skipBadFiles flag implemented

same as #2404