Searched refs:php_last_char (Results 1 – 1 of 1) sorted by relevance
79 static char php_last_char = '\0'; variable105 php_last_char = str[str_length-1]; in readline_shell_ub_write()683 if (!pager_pipe && php_last_char != '\0' && php_last_char != '\n') { in readline_shell_run()696 php_last_char = '\0'; in readline_shell_run()
Completed in 5 milliseconds