src/HOL/Tools/ATP/scripts/remote_atp

--- a/src/HOL/Tools/ATP/scripts/remote_atp	Sun Sep 05 21:39:30 2010 +0200
+++ b/src/HOL/Tools/ATP/scripts/remote_atp	Mon Sep 06 11:28:06 2010 +0200
@@ -86,6 +86,7 @@
 
 # Query Server
 my $Agent = LWP::UserAgent->new;
+$Agent->env_proxy;
 if (exists($Options{'t'})) {
   # give server more time to respond
   $Agent->timeout($Options{'t'} + 10);