rem: s.send("QUIT\r\n"); s.close(); 
add: gnats.close(); 
context: function clean_exit(s,code){	s.send("QUIT\r\n");	s.close();	exit(code);}
meta: 4284	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4284/76d4f4a482c82813eba2b9e667af3e8e3af52737/query_pr.js/clean/query_pr.js