devtools/data/xvfb-run.sh
branchstable
changeset 8884 e750e5abd1c7
parent 8758 3a0d91237e2c
equal deleted inserted replaced
8883:d531e80479a7 8884:e750e5abd1c7
    84     if [ -n "$XVFB_RUN_TMPDIR" ]; then
    84     if [ -n "$XVFB_RUN_TMPDIR" ]; then
    85         if ! rm -r "$XVFB_RUN_TMPDIR"; then
    85         if ! rm -r "$XVFB_RUN_TMPDIR"; then
    86             error "problem while cleaning up temporary directory"
    86             error "problem while cleaning up temporary directory"
    87             exit 5
    87             exit 5
    88         fi
    88         fi
       
    89         XVFB_RUN_TMPDIR=
    89     fi
    90     fi
    90     if [ -n "$XVFBPID" ]; then
    91     if [ -n "$XVFBPID" ]; then
    91         kill "$XVFBPID"
    92         kill "$XVFBPID"
    92     fi
    93     fi
    93 }
    94 }