Uses socket.option_list, if defined (v3.13b or later), otherwise, uses the

sockopts array from sockdefs.js.

exec/sockinfo.js

 // $Id$
 
+load("sockdefs.js");
+
+var socket;
 if(this.client)
 	socket=client.socket;
 else
-	socket=new Socket("test");
-printf("sendbuf = %d\r\n",socket.getoption("SNDBUF"));
-printf("recvbuf = %d\r\n",socket.getoption("RCVBUF"));
-printf("tcp_nodelay = %d\r\n",socket.getoption("TCP_NODELAY"));
-printf("keepalive = %d\r\n",socket.getoption("KEEPALIVE"));
\ No newline at end of file
+	socket=new Socket(SOCK_STREAM,"test");
+
+var option_list;
+if(socket.option_list)
+	option_list = socket.option_list; // dynamic list (v3.13b)
+else
+ 	option_list = sockopts; // static list (sockdefs.js)
+var opt;
+for(opt in option_list)
+	print(option_list[opt] +" = "+ socket.getoption(option_list[opt]));
\ No newline at end of file