arrdio设置代理访问外部网络

　　import win.ui; /*DSG{{*/ mainForm = win.form(text=＂MultiThread＂;right=1221;bottom=669) mainForm.add( button={cls=＂button＂;text=＂采集＂;left=982;top=73;right=1149;bottom=109;z=3}; edit={cls=＂edit＂;left=92;top=171;right=1143;bottom=387;ah=1;aw=1;edge=1;hscroll=1;multiline=1;vscroll=1;z=1}; edit2={cls=＂edit＂;text=＂http://＂;left=92;top=70;right=953;bottom=112;edge=1;multiline=1;z=2}; richedit={cls=＂richedit＂;left=87;top=426;right=1141;bottom=634;edge=1;multiline=1;z=4} ) /*}}*/  mainForm.button.oncommand = function(id,event){ 	 mainForm.button.disabled = true;      //创建工作线程   thread.invoke(      function(mainForm){       import inet.http;       var http = inet.http(＂Mozilla/4.0＂, ＂HTTP=HTTP://127.0.0.1:8888＂,＂localhost,127.0.0.*＂);//设置代理成功       var data  = http.get(mainForm.edit2.text);              //显示抓取结果       mainForm.edit.text = data;              //启用按钮       mainForm.button.disabled = false;     },mainForm /*将窗口对象作为参数传入线程函数*/   )  }  mainForm.show(); return win.loopMessage();