Graceful UI shutdown

2026-08-26 00:16:52 +00:00 · 2021-06-18 10:56:20 +00:00
parent a34e40a9f8
commit 37913cbb2e
1 changed files with 11 additions and 3 deletions
@@ -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();
        }