javascript: read text file

gistfile1

function read_text_file (file) {	
	if(file !=null) {
		var all_string = "";

		file.open("r");
		while(!file.eof) { 
			all_string += (file.readln() + "\n") ;
		};
		file.close();
	};	
	return all_string;
};