Searched refs:script_file (Results 1 – 2 of 2) sorted by relevance
707 if (exec_run || script_file) { in do_cli()716 script_file = php_optarg; in do_cli()723 } else if (script_file) { in do_cli()727 script_file = php_optarg; in do_cli()757 if (exec_run || script_file) { in do_cli()859 !(script_file || in do_cli()878 && !script_file in do_cli()883 script_file=argv[php_optind]; in do_cli()886 if (script_file) { in do_cli()894 script_filename = script_file; in do_cli()[all …]
1729 char *script_file = NULL; local2310 if (script_file) {2311 efree(script_file);2318 if (script_file) {2319 efree(script_file);2343 if (script_file) {2344 efree(script_file);2362 if (script_file) {2363 efree(script_file);2397 if (script_file) {[all …]
Completed in 12 milliseconds