From 0c21ebf9f3f957f1126ef5220af58e697005fd09 Mon Sep 17 00:00:00 2001
From: Rob Wu <rob@robwu.nl>
Date: Thu, 13 Oct 2016 23:36:57 +0200
Subject: [PATCH] Close overlay if print service was not initialized

Fixes #7720
---
 web/pdf_print_service.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/web/pdf_print_service.js b/web/pdf_print_service.js
index b8eba0800..8d0da3bd3 100644
--- a/web/pdf_print_service.js
+++ b/web/pdf_print_service.js
@@ -202,7 +202,9 @@
       return;
     }
     ensureOverlay().then(function () {
-      OverlayManager.open('printServiceOverlay');
+      if (activeService) {
+        OverlayManager.open('printServiceOverlay');
+      }
     });
 
     try {
@@ -210,6 +212,10 @@
     } finally {
       if (!activeService) {
         console.error('Expected print service to be initialized.');
+        if (OverlayManager.active === 'printServiceOverlay') {
+          OverlayManager.close('printServiceOverlay');
+        }
+        return;
       }
       var activeServiceOnEntry = activeService;
       activeService.renderPages().then(function () {