How to set no_proxy in amaya-java? from Benedikt Heinen on 1997-09-19 (www-amaya@w3.org from July to September 1997)

From: Benedikt Heinen <beh@infrasys.ascom.ch>
Date: Fri, 19 Sep 1997 08:54:51 +0200 (CEST)
To: Amaya Mailinglist <www-amaya@w3.org>
Message-ID: <Pine.LNX.3.96.970919084747.25489B-100000@hbc026.infrasys.ascom.ch>

Hi there,

  I know that in the non-java version I need to set the variables
'http_proxy', 'ftp_proxy', ..., and 'no_proxy'. 

  In amaya-java I must enter these in java.properties, but that file only 
has entries for setting the proxy, but I can't see a way to disable proxying
for certain hosts. Is there another keyword to achieve that?


  Benedikt


signoff
 Benedikt Eric Heinen  -  Ascom Infrasys AG, Solothurn, CH  (Bern office)
 Suedbahnhofstr. 14c, CH3017 Bern, SWITZERLAND      phone: +41.31.9993303
 fax: +41.31.9991019,            email: Benedikt.Heinen@infrasys.ascom.ch

Received on Friday, 19 September 1997 02:47:38 UTC