Home
last modified time | relevance | path

Searched refs:history_lines_to_write (Results 1 – 1 of 1) sorted by relevance

/PHP-5.5/ext/readline/
H A Dreadline_cli.c593 int history_lines_to_write = 0; in readline_shell_run() local
658 history_lines_to_write += 1; in readline_shell_run()
668 if (history_lines_to_write) { in readline_shell_run()
672 append_history(history_lines_to_write, history_file); in readline_shell_run()
674 history_lines_to_write = 0; in readline_shell_run()

Completed in 6 milliseconds