Home > Article > Backend Development > The get_headers function determines whether the remote file exists
The get_headers function determines whether the remote file exists
- WBOYOriginal
- 2016-07-29 08:55:371370browse
/Determine whether the remote file exists
function remote_file_exists($url) {
’ s ’ s ’ s t .
$headers = @get_headers ($url);
ini_set('max_execution_time', $executeTime);
if ($headers) {
$head = explode
(' ',$headers[0]); }
The above introduces the get_headers function to determine whether the remote file exists, including the content. I hope it will be helpful to friends who are interested in PHP tutorials.
function remote_file_exists($url) {
’ s ’ s ’ s t .
$headers = @get_headers ($url);
ini_set('max_execution_time', $executeTime);
if ($headers) {
$head = explode
(' ',$headers[0]); }
The above introduces the get_headers function to determine whether the remote file exists, including the content. I hope it will be helpful to friends who are interested in PHP tutorials.
Statement：
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn
Previous article：Load balancing configurationNext article：Load balancing configuration