add: user_file.rewind(); 
context: function write_user_list(user_list, user_file){	user_file.length = 0;	for(var u in user_list) {		user_file.writeln("[" + user_list[u].name + "]");		for(var p in user_list[u])			user_file.writeln(p + " = " + user_list[u][p]);	}}
meta: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/f998f2f7fe52fc3f235d99333ca7614c7ecbbd87/listserver.js/clean/listserver.js