diff options
| -rw-r--r-- | devbot/xvfb.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/devbot/xvfb.py b/devbot/xvfb.py index a70b4c8..adc72f0 100644 --- a/devbot/xvfb.py +++ b/devbot/xvfb.py @@ -23,5 +23,7 @@ def start(): return (xvfb_proc, orig_display) def stop(xvfb_proc, orig_display): - os.environ["DISPLAY"] = orig_display + if orig_display is not None: + os.environ["DISPLAY"] = orig_display + xvfb_proc.terminate() |