Searched refs:script_file (Results 1 – 2 of 2) sorted by relevance
771 if (exec_run || script_file) { in do_cli()780 script_file = php_optarg; in do_cli()787 } else if (script_file) { in do_cli()791 script_file = php_optarg; in do_cli()821 if (exec_run || script_file) { in do_cli()923 !(script_file || in do_cli()942 && !script_file in do_cli()947 script_file=argv[php_optind]; in do_cli()950 if (script_file) { in do_cli()958 script_filename = script_file; in do_cli()[all …]
1811 char *script_file = NULL; local2380 if (script_file) {2381 efree(script_file);2388 if (script_file) {2389 efree(script_file);2412 if (script_file) {2413 efree(script_file);2431 if (script_file) {2432 efree(script_file);2467 if (script_file) {[all …]
Completed in 13 milliseconds