Apply dirty files: create the directory before writing into a file in it
commit910a4c583a8cfbc3309e4c6c243b6d043e1810b7
authorTatiana Racheva <tatianaracheva@fb.com>
Fri, 10 Apr 2020 21:21:05 +0000 (10 14:21 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 10 Apr 2020 21:24:44 +0000 (10 14:24 -0700)
tree15a3df7b603fc18686a8c4a39c4abbbd79ab2e1a
parentbc16eb5944343956bbeb3e17568f84ae2881700f
Apply dirty files: create the directory before writing into a file in it

Summary: If the path doesn't exist, then we will fail to write the file's contents

Reviewed By: yinghuitan

Differential Revision: D20967689

fbshipit-source-id: 87c70b09bb1245855902794320fc7388d70f8577
hphp/hack/src/utils/disk/disk_sig.ml