Searched refs:read_from_stdin (Results 1 – 1 of 1) sorted by relevance
1329 char *read_from_stdin = NULL; in main() local1449 read_from_stdin = strdup(php_optarg); in main()1542 if (!read_from_stdin && argc > php_optind) { in main()1854 if (read_from_stdin) { in main()1855 if (!read_from_stdin[0]) { in main()1862 if (show_banner || read_from_stdin[0]) { in main()1872 cmd.str = read_from_stdin; in main()1873 cmd.len = strlen(read_from_stdin); in main()2126 if (read_from_stdin) { in main()2127 free(read_from_stdin); in main()[all …]
Completed in 8 milliseconds