cms-sw/cmssw — pull request #2406 by deguio (2014-02-11 18:46:56+00:00)
Title: skipBadFiles flag implemented

same as #2404