rem: if((user_file = open_user_list("r")) != null) { 
add: if((user_file = open_user_list(list,"r")) != null) { 
context: function get_user_list(list){	var user_list = new Array();	if((user_file = open_user_list("r")) != null) {		user_list = read_user_list(user_file);		user_file.close();	}	return user_list;}
meta: 4284	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4284/7b42a9c4c1ad0fd83c811cfb3c38c69aa10cda5e/listserver.js/clean/listserver.js