rem: if(msgtxt[i].length==0)	{ 
add: if(hdr && msgtxt[i].length==0)	{ 
context: function get_msg_body(msgtxt){	var body = new Array();	var hdr = true;	for(i in msgtxt) {		if(msgtxt[i].length==0)	{ // Header terminator			hdr = false;			continue;		}		if(!hdr)			body.push(msgtxt[i]);	}	return(body);}
meta: 4284	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4284/2800dd984f6b73f86848d9e2a3668b592fe02699/mailproc_util.js/buggy/load/mailproc_util.js