steffen/PatchBot
1
1
Fork 0
Code Issues Pull requests Releases Activity

New helper function fetch_header()

Browse source
This commit is contained in:
Steffen Lange 2023-02-04 13:12:59 +01:00
parent 2e7927c057
commit b110ec8539
5 changed files with 13 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

16
PatchBase.php
View file

@ -21,19 +21,21 @@ abstract class PatchBase {
return $this->patch;
}
abstract function check() : bool;
protected function fetch(string $url, bool $text = true) : bool {
// HTTP GET
if ($text)
$str = $this->curl($url);
// HTTP HEAD
else
$str = $this->curl($url, array(array(CURLOPT_HEADER, true), array(CURLOPT_NOBODY, true)));
protected function fetch(string $url) : bool {
$str = $this->curl($url);
if ($str) {
$this->data = $str;
return true;
}
return false;
}
protected function fetch_header(string $url) : bool {
$str = $this->curl($url, array(array(CURLOPT_HEADER, true), array(CURLOPT_NOBODY, true)));
if ($str) {
$this->data = $str;
return true;
}
}
protected function fetch_json(string $url) : bool {
$str = $this->curl($url);
if ($str) {