Log history file optional failures as WARN

jline · May 12, 2017 · 871b1e4 · 871b1e4
1 parent b80e29c
commit 871b1e4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/reader/src/main/java/org/jline/reader/impl/history/DefaultHistory.java b/reader/src/main/java/org/jline/reader/impl/history/DefaultHistory.java
@@ -86,7 +86,7 @@ public void load() {
                     }
                 }
             } catch (Exception e) {
-                Log.info("Error reloading history file: ", path, e);
+                Log.warn("Error reloading history file: ", path, e);
                 internalClear();
             }
         }
@@ -124,7 +124,7 @@ public void save() {
                     trimHistory(path, max);
                 }
             } catch (IOException e) {
-                Log.debug("Error saving history file: ", path, e);
+                Log.warn("Error saving history file: ", path, e);
             }
         }
         loaded = items.size();
@@ -159,7 +159,7 @@ protected void trimHistory(Path path, int max) {
             loaded = items.size();
             maybeResize();
         } catch (IOException e) {
-            Log.debug("Error trimming history file: ", path, e);
+            Log.warn("Error trimming history file: ", path, e);
         }
     }