# HG changeset patch
# User John Reimer <terminal.node@gmail.com>
# Date 1224477715 25200
# Node ID a4b331f7579076e04e9d3e3e73537d3f8d6f1836
# Parent  8235a17d92552264e0e0dc3fc84fd04744191156
Quick fix

diff -r 8235a17d9255 -r a4b331f75790 dwt/dwthelper/System.d
--- a/dwt/dwthelper/System.d	Sun Oct 19 21:18:43 2008 -0700
+++ b/dwt/dwthelper/System.d	Sun Oct 19 21:41:55 2008 -0700
@@ -161,12 +161,15 @@
         /* else get values for global system keys (environment) */
         } else {
             switch( key ){
-                case "os.name": return tango.sys.Environment.get("OSTYPE");
-                case "user.name": return tango.sys.Environment.get("USER");
-                case "user.home": return tango.sys.Environment.get("HOME");
-                case "user.dir" : return tango.sys.Environment.get("PWD");
+                case "os.name": return Environment.get("OSTYPE");
+                case "user.name": return Environment.get("USER");
+                case "user.home": return Environment.get("HOME");
+                case "user.dir" : return Environment.get("PWD");
                 case "file.separator" : return FileConst.PathSeparatorString ;
-                case "file.encoding" : return 
+                case "file.encoding" : implMissing( __FILE__, __LINE__);
+                case "network.proxy_host" : implMissing( __FILE__, __LINE__);
+                case "network.proxy_port" : implMissing( __FILE__, __LINE__);
+                
                 default: return null;
             }
         }