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: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/4513381008ae0d5f52fc398cf9371f9581360562/listserver.js/clean/listserver.js