Commit ee311907ee0299ff2c1d7fc37699dc3e4da20c52

Carlos Martín Nieto 2014-05-05T16:04:14

odb: ignore files in the objects dir We assume that everything under GIT_DIR/objects/ is a directory. This is not necessarily the case if some process left a stray file in there. Check beforehand if we do have a directory and ignore the entry otherwise.