Restore accidentally removed files

Author: tvdijen

bin/get.php

@@ -0,0 +1,20 @@
+#!/usr/bin/env php
+<?php
+
+require_once(dirname(dirname(dirname(dirname(__FILE__)))) . '/lib/_autoload.php');
+
+if ($argc < 2) {
+    fwrite(STDERR, "Missing aggregator id.\n");
+    exit(1);
+}
+$id = $argv[1];
+
+error_reporting(E_ALL ^ E_NOTICE);
+try {
+    $aggregator = \SimpleSAML\Module\aggregator2\Aggregator::getAggregator($id);
+    $xml = $aggregator->getMetadata();
+    $xml = \SimpleSAML\Utils\XML::formatXMLString($xml);
+    echo $xml;
+} catch (\Exception $e) {
+    fwrite(STDERR, $e->getMessage()."\n");
+}

bin/update.php

@@ -0,0 +1,16 @@
+#!/usr/bin/env php
+<?php
+
+require_once(dirname(dirname(dirname(dirname(__FILE__)))) . '/lib/_autoload.php');
+
+$name = basename($argv[0]);
+
+if ($argc < 2) {
+    fprintf(STDERR, "$name: Missing id of aggregator.\n");
+    exit(1);
+}
+
+$id = $argv[1];
+
+$aggregator = \SimpleSAML\Module\aggregator2\Aggregator::getAggregator($id);
+$aggregator->updateCache();