#!/bin/sh
# WARNING: This file was auto-generated. Do not edit!
if [ "${1}" = "-4" -o "${1}" = "-6" ]
then
  vers=${1}
  shift
else
  vers="-6"
fi
host=${1-0}
path=${2-}
port=${3-443}
args=""
if [ $# -gt 3 ]
then
  shift; shift; shift
  args="$@"
fi
echo "GET /$path HTTP/1.0
Host: $host:$port
" | /usr/bin/sslclient -XRHl0 "$vers" $args -- "$host" "$port" sh -c '
  /usr/local/bin/addcr >&7
  exec /usr/local/bin/delcr <&6
' | awk '/^$/ { body=1; next } { if (body) print }'
