Xavier Guimard d01b6caa15 #204: use "abort" instead of "die"		2010-10-20 05:56:14 +00:00
..
NG	#204: use "abort" instead of "die"	2010-10-20 05:56:14 +00:00