#include <stdbool.h>
#include <assert.h>
#include <errno.h>
+#if ! HAVE_READLINE
+#include <stdint.h>
+#endif
#include "msg-ui.h"
initialised = false;
#if HAVE_READLINE
- if (history_file != NULL && false == get_testing_mode() )
+ if (history_file != NULL && false == settings_get_testing_mode () )
write_history (history_file);
clear_history ();
free (history_file);
#else
fputs (prompt, stdout);
fflush (stdout);
- if (ds_read_line (line, stdin))
+ if (ds_read_line (line, stdin, SIZE_MAX))
{
ds_chomp (line, '\n');
eof = false;