Home
last modified time | relevance | path

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

/PHP-7.0/sapi/phpdbg/
H A Dphpdbg.h304 FILE *stdin_file; /* FILE pointer to stdin source file */ variable
H A Dphpdbg.c128 pg->stdin_file = NULL; in php_phpdbg_globals_ctor()
274 if (PHPDBG_G(stdin_file)) { in PHP_RSHUTDOWN_FUNCTION()
275 fclose(PHPDBG_G(stdin_file)); in PHP_RSHUTDOWN_FUNCTION()
276 PHPDBG_G(stdin_file) = NULL; in PHP_RSHUTDOWN_FUNCTION()
1322 if (!strncasecmp(path, "stdin", 6) && PHPDBG_G(stdin_file)) { in phpdbg_stream_url_wrap_php()
1323 php_stream *stream = php_stream_fopen_from_fd(dup(fileno(PHPDBG_G(stdin_file))), "r", NULL); in phpdbg_stream_url_wrap_php()
H A Dphpdbg_prompt.c867 PHPDBG_G(stdin_file) = fopen(buf, "r"); in PHPDBG_COMMAND()
868 if (PHPDBG_G(stdin_file) == NULL) { in PHPDBG_COMMAND()

Completed in 23 milliseconds