diff options
-rw-r--r-- | readline/readline/histfile.c | 1 | ||||
-rw-r--r-- | readline/readline/patchlevel | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/readline/readline/histfile.c b/readline/readline/histfile.c index dc64bde..a8a92aa 100644 --- a/readline/readline/histfile.c +++ b/readline/readline/histfile.c @@ -305,6 +305,7 @@ read_history_range (const char *filename, int from, int to) if (file_size == 0) { free (input); + close (file); return 0; /* don't waste time if we don't have to */ } diff --git a/readline/readline/patchlevel b/readline/readline/patchlevel index d8c9df7..fdf4740 100644 --- a/readline/readline/patchlevel +++ b/readline/readline/patchlevel @@ -1,3 +1,3 @@ # Do not edit -- exists only for use by patch -0 +1 |