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: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/0172a9c9d8c678201b82af125f33ca856459917d/query_pr.js/buggy/query_pr.js