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

same as #2404