fix race in parser
commita443bfb9252883d5f5e33d05d956abe5e808b76b
authorJulien Verlaguet <julienv@fb.com>
Mon, 16 Jun 2014 17:23:25 +0000 (16 10:23 -0700)
committerJoelMarcey <joelm@fb.com>
Mon, 16 Jun 2014 20:15:25 +0000 (16 13:15 -0700)
treefc03572b5ed9867b8e5211237179e1ba4f517c6e
parent2f978a0784de7362cfd3d9ef6723b04e4ba7bacc
fix race in parser

Summary: Previous fix was not correct (D1384077).
parser_no_fail will exit which is not what we want.
We want to pretend the file is empty when an error is encountered.

Reviewed By: @aryx

Differential Revision: D1384081
hphp/hack/src/parsing/parser_hack.ml