history_lines_to_write (reference) in projects: PHP-8.0

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

/PHP-8.0/ext/readline/
H A D	readline_cli.c	`597 int history_lines_to_write = 0; in readline_shell_run() local 666 history_lines_to_write += 1; in readline_shell_run() 676 if (history_lines_to_write) { in readline_shell_run() 680 append_history(history_lines_to_write, history_file); in readline_shell_run() 682 history_lines_to_write = 0; in readline_shell_run()`

Completed in 13 milliseconds