summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 1bd58e5) | patch
Should cancel remote worker jobs even when we don't know their IDsnightly-2020.07.02
commit724a1e1557fd536d715a0b59102757ae7a30a402
authorTatiana Racheva <[email protected]>
Thu, 2 Jul 2020 01:34:22 +0000 (1 18:34 -0700)
committerFacebook GitHub Bot <[email protected]>
Thu, 2 Jul 2020 01:36:51 +0000 (1 18:36 -0700)
treeb19a959df290836cdc9de28cf7fed4027acdfbaatree | snapshot (tar.gz zip)
parent1bd58e56487973dcf23fddeed3ff944044c3f88ccommit | diff
Should cancel remote worker jobs even when we don't know their IDs

Reviewed By: yinghuitan

Differential Revision: D22326038

fbshipit-source-id: 7795674c718df51888d84f4e0aa0298f75986f03
hphp/hack/src/remote/jobRunner_sig.ml diff | blob | blame | history