projects / arvados.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ce4019) | patch
18027: Kill arv-mount directly if arv-mount --unmount cannot run.
authorTom Clegg <tom@curii.com>
Fri, 3 Sep 2021 14:29:05 +0000 (10:29 -0400)
committerTom Clegg <tom@curii.com>
Fri, 3 Sep 2021 14:29:05 +0000 (10:29 -0400)
commit22102137c1e5eda8543c79d30d963ceb9e9a47af
tree0124507a2facfa44b8389380cd5a54268b24333atree | snapshot
parent9ce401977e4462751e8fa0f825d1a95b17116371commit | diff
18027: Kill arv-mount directly if arv-mount --unmount cannot run.

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@curii.com>
lib/crunchrun/crunchrun.go diff | blob | history