mirror of
https://github.com/php-win-ext/php-sdk-binary-tools.git
synced 2026-03-24 17:12:12 +01:00
4b1dbb58de
Some are not as specific as they should be, and some may even be wrong, but since these are only type hints (not type declarations) they won't affect code execution, but rather provide some help to better understand the code – for developers as well as tooling.
112 lines
2.1 KiB
PHP
112 lines
2.1 KiB
PHP
<?php
|
|
|
|
namespace SDK\Build\Dependency;
|
|
|
|
use SDK\{Exception, FileOps};
|
|
|
|
class Fetcher
|
|
{
|
|
use FileOps;
|
|
|
|
/** @var string */
|
|
protected $host;
|
|
|
|
/** @var int */
|
|
protected $port;
|
|
|
|
/** @var ?string */
|
|
protected $stability;
|
|
|
|
/** @var ?string */
|
|
protected $arch;
|
|
|
|
/** @var Series */
|
|
protected $series;
|
|
|
|
/** @var string */
|
|
protected $scheme;
|
|
|
|
public function __construct(string $host, int $port, string $scheme = "https", string $arch = NULL, string $stability = NULL, Series $series = NULL)
|
|
{/*{{{*/
|
|
$this->stability = $stability;
|
|
$this->arch = $arch;
|
|
$this->host = $host;
|
|
$this->port = $port;
|
|
$this->scheme = $scheme;
|
|
$this->series = $series;
|
|
}/*}}}*/
|
|
|
|
public function getSeries() : Series
|
|
{/*{{{*/
|
|
return $this->series;
|
|
}/*}}}*/
|
|
|
|
public function setSeries(Series $series) : void
|
|
{/*{{{*/
|
|
$this->series = $series;
|
|
}/*}}}*/
|
|
|
|
/* TODO more robust implementation. */
|
|
/* TODO implement indicator. */
|
|
public function getByUri(string $uri, int $retries = 3) : string
|
|
{/*{{{*/
|
|
$url = "{$this->scheme}://{$this->host}:{$this->port}$uri";
|
|
$ret = false;
|
|
|
|
retry:
|
|
try {
|
|
$ret = $this->download($url);
|
|
} catch (Exception $e) {
|
|
if ($retries > 0) {
|
|
sleep(1);
|
|
$retries--;
|
|
goto retry;
|
|
}
|
|
}
|
|
|
|
return $ret;
|
|
}/*}}}*/
|
|
|
|
/*protected function fetch($uri) : string
|
|
{
|
|
$fp = @fsockopen($this->host, $this->port);
|
|
if (!$fp) {
|
|
throw new Exception("Couldn't connect to windows.php.net");
|
|
}
|
|
|
|
$hdrs = "GET $uri HTTP/1.0\r\nHost: {$this->host}\r\nConnection: close\r\n\r\n";
|
|
$r = fwrite($fp, $hdrs);
|
|
if (false === $r || $r != strlen($hdrs)) {
|
|
fclose($fp);
|
|
throw new Exception("Request to windows.php.net failed");
|
|
}
|
|
|
|
$r = '';
|
|
while (!feof($fp)) {
|
|
$r .= fread($fp, 32768);
|
|
}
|
|
|
|
if (preg_match(',HTTP/\d\.\d 200 .*,', $r) < 1) {
|
|
var_dump($r);
|
|
fclose($fp);
|
|
throw new Exception("Invalid response from {$this->host}:{$this->port} while fetching '$uri'");
|
|
}
|
|
|
|
fclose($fp);
|
|
|
|
$ret = substr($r, strpos($r, "\r\n"));
|
|
|
|
return trim($ret);
|
|
}*/
|
|
|
|
}
|
|
|
|
/*
|
|
* Local variables:
|
|
* tab-width: 4
|
|
* c-basic-offset: 4
|
|
* End:
|
|
* vim600: sw=4 ts=4 fdm=marker
|
|
* vim<600: sw=4 ts=4
|
|
*/
|