#!/bin/bash
echo "\
Content-Type: text/xml
Pragma: no-cache
"
#curl "http://www2.openmamba.org/cgi-bin/autodist-internal.cgi?$QUERY_STRING" --stderr /dev/null
curl "https://buildvm01.openmamba.org/cgi-bin/autodist?$QUERY_STRING&FORMAT=xml" --stderr /dev/null