aardio获取公网IP地址代码

aardio获取公网IP地址代码如下：

import win.ui;
/*DSG{{*/
var winform = win.form(text="aardio form";right=422;bottom=30)
winform.add()
/*}}*/

thread.invoke( 
	function(winform){
		import inet.http;
		winform.text = "正在查询公网IP，请稍等...";
		var http = inet.http();
		var str = http.get("http://ip.cn");
		if(!str) winform.text = "查询失败，请检查网络！";
		winform.text = "您的外网ip地址："++string.match(str,"\d+\.\d+\.\d+\.\d+");
	},winform
)

winform.show();
win.loopMessage();