D12284.diff
No OneTemporary
Actions

Size

723 B

Referenced Files

None

Subscribers

None

D12284.diff
View Options

	diff --git a/src/parser/xhpast/api/XHPASTTree.php b/src/parser/xhpast/api/XHPASTTree.php
	--- a/src/parser/xhpast/api/XHPASTTree.php
	+++ b/src/parser/xhpast/api/XHPASTTree.php
	@@ -62,9 +62,13 @@
	throw new Exception("XHPAST failed to parse file data {$err}: {$stderr}");
	}

	- $data = json_decode($stdout, true);
	- if (!is_array($data)) {
	- throw new Exception('XHPAST: failed to decode tree.');
	+ $data = null;
	+ try {
	+ $data = phutil_json_decode($stdout);
	+ } catch (PhutilJSONParserException $ex) {
	+ throw new PhutilProxyException(
	+ pht('XHPAST: failed to decode tree.'),
	+ $ex);
	}

	return new XHPASTTree($data['tree'], $data['stream'], $php_source);