Home
last modified time | relevance | path

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

/PHP-7.0/ext/readline/
H A Dreadline_cli.c83 static FILE *pager_pipe = NULL; variable
92 if (CLIR_G(pager) && *CLIR_G(pager) && !pager_pipe) { in readline_shell_write()
93 pager_pipe = VCWD_POPEN(CLIR_G(pager), "w"); in readline_shell_write()
95 if (pager_pipe) { in readline_shell_write()
96 return fwrite(str, 1, MIN(str_length, 16384), pager_pipe); in readline_shell_write()
679 if (!pager_pipe && php_last_char != '\0' && php_last_char != '\n') { in readline_shell_run()
687 if (pager_pipe) { in readline_shell_run()
688 fclose(pager_pipe); in readline_shell_run()
689 pager_pipe = NULL; in readline_shell_run()

Completed in 4 milliseconds