# HG changeset patch
# User Julien Cristau <julien.cristau@logilab.fr>
# Date 1365600858 -7200
# Node ID e750e5abd1c76d74f0548c8e32340a3538cfbef1
# Parent  d531e80479a7f38f9997f6358ed141d93d982d05
[devtools] protect xvfb-run.sh against clean_up being called twice

diff -r d531e80479a7 -r e750e5abd1c7 devtools/data/xvfb-run.sh
--- a/devtools/data/xvfb-run.sh	Wed Apr 10 10:44:55 2013 +0200
+++ b/devtools/data/xvfb-run.sh	Wed Apr 10 15:34:18 2013 +0200
@@ -86,6 +86,7 @@
             error "problem while cleaning up temporary directory"
             exit 5
         fi
+        XVFB_RUN_TMPDIR=
     fi
     if [ -n "$XVFBPID" ]; then
         kill "$XVFBPID"