"proxy" CLI reports either "direct://" or good proxy, randomly

[Gaël]

Hi,

1) The release of Ubuntu you are using: Ubuntu 12.10
2) The version of the package you are using: 0.4.7-0ubuntu6

Given:
    http_proxy=http://myproxy:3128
    https_proxy=http://myproxy:3128
    ftp_proxy=http://myproxy:3128

3) What you expected to happen:

    $proxy https://www.google.com
        http://myproxy:3128

    $proxy https://www.google.com
        http://myproxy:3128

    $proxy https://www.google.com
        http://myproxy:3128

    $proxy https://www.google.com
        http://myproxy:3128

(Consistent output of the proxy URL)

4) What happened instead

    $proxy https://www.google.com
       direct://

    $proxy https://www.google.com
        http://myproxy:3128

    $proxy https://www.google.com
        http://myproxy:3128

    $proxy https://www.google.com
        direct://

(random answer is given)

Same thing happens with `proxy http://www.google.com`

ProblemType: Bug
DistroRelease: Ubuntu 12.10
Package: libproxy-tools 0.4.7-0ubuntu6
ProcVersionSignature: Ubuntu 3.5.0-26.40-generic 3.5.7.6
Uname: Linux 3.5.0-26-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 2.6.1-0ubuntu10
Architecture: amd64
Date: Mon Mar 11 16:37:39 2013
InstallationDate: Installed on 2013-03-11 (0 days ago)
InstallationMedia: Ubuntu GNOME Remix 12.10 "Quantal Quetzal" - Release amd64(20121023)
MarkForUpload: True
ProcEnviron:
 LANGUAGE=fr:en
 TERM=xterm
 PATH=(custom, no user)
 LANG=fr_FR.UTF-8
 SHELL=/bin/bash
SourcePackage: libproxy
UpgradeStatus: No upgrade log present (probably fresh install)