+if (isset($_GET['src_url'])) {
+ $src_url = $_GET['src_url'];
+} else if (isset($argv[1])) {
+ $src_url = $argv[1];
+} else {
+ die(usage($argv));
+}
+
+$url = parse_url($src_url);
+if (FALSE === $url || empty($url["host"]))
+ die("Invalid url: $url\n");
+
+$stylesheet = __DIR__ . "/rss_converter_" . $url["host"] . ".xsl";
+if (FALSE === file_exists($stylesheet))
+ die("Conversion to RSS not supported: {$url["host"]}\n");