From 90444ebd45b568a7a59f5a736759fa0cef8207e9 Mon Sep 17 00:00:00 2001
From: Robert Scott <code@humanleg.org.uk>
Date: Sat, 11 Aug 2018 19:12:14 +0100
Subject: [PATCH v1] Main.shutdown(): *actually* remove isHeadless() guards
around ImageProvider.shutdown(...)
---
src/org/openstreetmap/josm/Main.java | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/src/org/openstreetmap/josm/Main.java b/src/org/openstreetmap/josm/Main.java
index 9be57a1f1..cec935004 100644
|
a
|
b
|
public abstract class Main {
|
| 277 | 277 | * Shutdown JOSM. |
| 278 | 278 | */ |
| 279 | 279 | protected void shutdown() { |
| 280 | | if (!GraphicsEnvironment.isHeadless()) { |
| 281 | | ImageProvider.shutdown(false); |
| 282 | | } |
| | 280 | ImageProvider.shutdown(false); |
| 283 | 281 | try { |
| 284 | 282 | pref.saveDefaults(); |
| 285 | 283 | } catch (IOException | InvalidPathException ex) { |
| 286 | 284 | Logging.log(Logging.LEVEL_WARN, tr("Failed to save default preferences."), ex); |
| 287 | 285 | } |
| 288 | | if (!GraphicsEnvironment.isHeadless()) { |
| 289 | | ImageProvider.shutdown(true); |
| 290 | | } |
| | 286 | ImageProvider.shutdown(true); |
| 291 | 287 | } |
| 292 | 288 | |
| 293 | 289 | /** |