Searched refs:script_file (Results 1 – 2 of 2) sorted by relevance
635 file_handle->filename = script_file; in cli_seek_file_begin()756 if (exec_run || script_file) { in do_cli()765 script_file = php_optarg; in do_cli()772 } else if (script_file) { in do_cli()776 script_file = php_optarg; in do_cli()816 if (exec_run || script_file) { in do_cli()925 && !script_file in do_cli()930 script_file=argv[php_optind]; in do_cli()933 if (script_file) { in do_cli()941 script_filename = script_file; in do_cli()[all …]
1747 char *script_file = NULL; local2160 if (script_file) {2161 efree(script_file);2168 if (script_file) {2169 efree(script_file);2192 if (script_file) {2193 efree(script_file);2217 if (script_file) {2218 efree(script_file);2253 if (script_file) {[all …]
Completed in 215 milliseconds