devtools/data/xvfb-run.sh
branchstable
changeset 8884 e750e5abd1c7
parent 8758 3a0d91237e2c
--- 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"