[ARVADOS] updated: 0b10fae767ce774b62a2bd2922a77578341d87e1

[git at public.curoverse.com]

Summary of changes:
 sdk/cli/bin/crunch-job | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

       via  0b10fae767ce774b62a2bd2922a77578341d87e1 (commit)
      from  96fefe2373e7965311e1376dc0a54cf16ec9b415 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 0b10fae767ce774b62a2bd2922a77578341d87e1
Author: Ward Vandewege <ward at curoverse.com>
Date:   Thu Aug 21 13:23:08 2014 -0400

    Be smarter about cleanup in crunch-job after a job finishes. This should
    resolve the problem of the many leftover stale mount points.
    
    no issue #

diff --git a/sdk/cli/bin/crunch-job b/sdk/cli/bin/crunch-job
index 47f9894..4b6632c 100755
--- a/sdk/cli/bin/crunch-job
+++ b/sdk/cli/bin/crunch-job
@@ -394,7 +394,7 @@ else
     if ($cleanpid == 0)
     {
       srun (["srun", "--nodelist=$nodelist", "-D", $ENV{'TMPDIR'}],
-	    ['bash', '-c', 'if mount | grep -q $JOB_WORK/; then sudo /bin/umount $JOB_WORK/* 2>/dev/null; fi; sleep 1; rm -rf $JOB_WORK $CRUNCH_TMP/opt $CRUNCH_TMP/src*']);
+	    ['bash', '-c', 'if mount | grep -q $JOB_WORK/; then for i in $JOB_WORK/*keep; do /bin/fusermount -z -u $i; done; fi; sleep 1; rm -rf $JOB_WORK $CRUNCH_TMP/opt $CRUNCH_TMP/src*']);
       exit (1);
     }
     while (1)

-----------------------------------------------------------------------


hooks/post-receive
--