return Tweeper::epoch_to_gmdate($timestamp);
}
- private static function get_contents($uri) {
- # https://www.wjsams.com/c/docs/Wiki/Php-HowToSetUserAgentOnFileGetContents
- $opts = array(
- 'http' => array(
- 'method' => "GET",
- 'header' => join(array(
- "Accept-language: en\r\n",
- "User-Agent: {" + Tweeper::$USER_AGENT + "}\r\n"
- ))
- )
- );
+ private static function get_contents($url)
+ {
+ $ch = curl_init($url);
+ curl_setopt_array($ch, array(
+ CURLOPT_HEADER => FALSE,
+ CURLOPT_RETURNTRANSFER => TRUE,
+ CURLOPT_SSL_VERIFYHOST => FALSE,
+ CURLOPT_SSL_VERIFYPEER => FALSE,
+ CURLOPT_HTTPHEADER => array('Accept-language: en'),
+ CURLOPT_USERAGENT => Tweeper::$USER_AGENT,
+ ));
+ $contents = curl_exec($ch);
+ curl_close($ch);
- $context = stream_context_create($opts);
- $contents = file_get_contents($uri, false, $context);
return $contents;
}
if (FALSE === $url || empty($url["host"]))
die("Invalid url: ${options['src_url']}\n");
-$stylesheet = __DIR__ . "/rss_converter_" . $url["host"] . ".xsl";
+$stylesheet = "file://" . __DIR__ . "/rss_converter_" . $url["host"] . ".xsl";
if (FALSE === file_exists($stylesheet))
die("Conversion to RSS not supported: {$url["host"]}\n");