Changeset 11106 in josm
- Timestamp:
- 2016-10-08T23:17:38+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/Main.java
r11093 r11106 6 6 import java.awt.BorderLayout; 7 7 import java.awt.Component; 8 import java.awt.GraphicsEnvironment; 8 9 import java.awt.Window; 9 10 import java.awt.event.KeyEvent; … … 817 818 818 819 protected void shutdown() { 819 worker.shutdown(); 820 ImageProvider.shutdown(false); 821 JCSCacheManager.shutdown(); 820 if (!GraphicsEnvironment.isHeadless()) { 821 worker.shutdown(); 822 ImageProvider.shutdown(false); 823 JCSCacheManager.shutdown(); 824 } 822 825 if (map != null) { 823 826 map.rememberToggleDialogWidth(); … … 830 833 Main.warn(ex, tr("Failed to save default preferences.")); 831 834 } 832 worker.shutdownNow(); 833 ImageProvider.shutdown(true); 835 if (!GraphicsEnvironment.isHeadless()) { 836 worker.shutdownNow(); 837 ImageProvider.shutdown(true); 838 } 834 839 } 835 840
Note:
See TracChangeset
for help on using the changeset viewer.