| commit | 0904f9bc08a19bf831b245b6d3e54115047e2f84 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Tue, 4 Aug 2020 19:14:03 +0000 (4 12:14 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 4 Aug 2020 19:26:59 +0000 (4 12:26 -0700) | ||
| tree | 00ff8e8e27c8e14dcf6933b5009a12acdc101977 | treesnapshot (tar.gz zip) |
| parent | 3d05e6f4fc0942f2de9acf7c9b16406724798a01 | commitdiff |
No fail on missing PIDs
Summary: If hh_server has failed to start even once, then the PIDs file might be absent. This used to cause an exception that stopped rage from working. With this diff, no more!
Reviewed By: madgen, arxanas
Differential Revision: D22925720
fbshipit-source-id: bd55fb94a035adcac675dc9a2898c0008fcac57b
Summary: If hh_server has failed to start even once, then the PIDs file might be absent. This used to cause an exception that stopped rage from working. With this diff, no more!
Reviewed By: madgen, arxanas
Differential Revision: D22925720
fbshipit-source-id: bd55fb94a035adcac675dc9a2898c0008fcac57b
| hphp/hack/src/client/clientRage.ml | diffblobblamehistory |