branch | stable |
changeset 8884 | e750e5abd1c7 |
parent 8758 | 3a0d91237e2c |
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 } |