| commit | d9fb9ad26200556afd4b6e18bc99debd4e0ff3ef | |
| author | Alexander Chow <achow@fb.com> | |
| Thu, 14 Dec 2017 02:11:09 +0000 (13 18:11 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 14 Dec 2017 02:41:03 +0000 (13 18:41 -0800) | ||
| tree | 0f486df67d622e93ce8960954bb7ed7d59b19c4a | treesnapshot (tar.gz zip) |
| parent | d53574b62400c79cfca207b6e76ee8e1d5cd3ab0 | commitdiff |
Informant shouldnt reuse old XDB results
Summary:
XDB results are updated live, so we shouldn't reuse old results.
In particular, an old query could contain no result, or a distant
result, but XDB is updated later with a better result. If we keep
reusing the old query result, we won't see the newer better result.
This fixes that.
Reviewed By: dabek
Differential Revision: D6562345
fbshipit-source-id: 8fda0e5b5bd239031ffd259c74d798ec8048aba6
Summary:
XDB results are updated live, so we shouldn't reuse old results.
In particular, an old query could contain no result, or a distant
result, but XDB is updated later with a better result. If we keep
reusing the old query result, we won't see the newer better result.
This fixes that.
Reviewed By: dabek
Differential Revision: D6562345
fbshipit-source-id: 8fda0e5b5bd239031ffd259c74d798ec8048aba6
| hphp/hack/src/server/hhMonitorInformant.ml | diffblobblamehistory |