Home
last modified time | relevance | path

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

/PHP-7.2/ext/readline/
H A Dreadline_cli.c82 static char php_last_char = '\0'; variable
108 php_last_char = str[str_length-1]; in readline_shell_ub_write()
686 if (!pager_pipe && php_last_char != '\0' && php_last_char != '\n') { in readline_shell_run()
699 php_last_char = '\0'; in readline_shell_run()

Completed in 15 milliseconds