From 37913cbb2e16da62dcc976b6fe984bc78e7b888d Mon Sep 17 00:00:00 2001
From: Kristinn Sigurdsson <kristinn@landsbokasafn.is>
Date: Fri, 18 Jun 2021 10:50:17 +0000
Subject: [PATCH] Graceful UI shutdown

---
 .../archive/crawler/restlet/EngineResource.java    | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/engine/src/main/java/org/archive/crawler/restlet/EngineResource.java b/engine/src/main/java/org/archive/crawler/restlet/EngineResource.java
index dabd7f3e..4cedda7d 100644
--- a/engine/src/main/java/org/archive/crawler/restlet/EngineResource.java
+++ b/engine/src/main/java/org/archive/crawler/restlet/EngineResource.java
@@ -180,9 +180,17 @@ public class EngineResource extends BaseResource {
                     cancel = true; 
                 }
             }
-            if(!cancel) {
-                System.exit(0); 
-            }
+			if (!cancel) {
+				Flash.addFlash(getResponse(), "Shutting down ... bye");
+				new Thread(() -> {
+					try {
+						Thread.sleep(1000);
+					} catch (InterruptedException e) {
+						Thread.currentThread().interrupt();
+					}
+					System.exit(0);
+				}).start();
+			}
         } else if ("gc".equals(action)) {
             System.gc();
         }