From dd13184e76610c12f1482af7790e4b13378a4ccc Mon Sep 17 00:00:00 2001 From: Yuheng Date: Sat, 9 May 2020 02:04:48 +0800 Subject: [PATCH] add concise message when SaveException happen (#6444) * fix https://github.com/JabRef/jabref/issues/6127 add concise tips when SaveException happend * Update SaveDatabaseAction.java add space... --- src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java b/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java index aedef2b2534..8abfc0dfc18 100644 --- a/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java +++ b/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java @@ -236,7 +236,7 @@ private boolean saveDatabase(Path file, boolean selectedOnly, Charset encoding, } catch (UnsupportedCharsetException ex) { throw new SaveException(Localization.lang("Character encoding '%0' is not supported.", encoding.displayName()), ex); } catch (IOException ex) { - throw new SaveException("Problems saving:", ex); + throw new SaveException("Problems saving: " + ex, ex); } return true;