Lines Matching refs:read_from_stdin
1146 char *read_from_stdin = NULL; in main() local
1228 read_from_stdin = strdup(php_optarg); in main()
1293 if (!read_from_stdin && argc > php_optind) { in main()
1526 if (read_from_stdin) { in main()
1527 if (!read_from_stdin[0]) { in main()
1534 if (show_banner || read_from_stdin[0]) { in main()
1535 …om stdin; put '%s' followed by a newline on an own line after code to end input", read_from_stdin); in main()
1544 cmd.str = read_from_stdin; in main()
1545 cmd.len = strlen(read_from_stdin); in main()
1757 if (read_from_stdin) { in main()
1758 free(read_from_stdin); in main()
1759 read_from_stdin = NULL; in main()
