#!/bin/sh
PRUNEJAR=/usr/share/gpsprune/gpsprune.jar

proxyhost=$(echo $http_proxy | sed 's?http://\([^:]\+\).*?\1?')
proxyport=$(echo $http_proxy | sed 's?http://[^:]\+:\([0-9]\+\)?\1?')

if [ -z $proxyport ] ; then
    if [ -z $proxyhost ] ; then
        java -jar $PRUNEJAR $@
    else
	java -Dhttp.proxyHost=$proxyhost -jar $PRUNEJAR $@
    fi
else
    java -Dhttp.proxyHost=$proxyhost -Dhttp.proxyPort=$proxyport -jar $PRUNEJAR $@
fi

