Commit e71dce18a1a72578581d4e91c24a44eead0d5949

Daniel Veillard 2013-07-11T15:41:22

Catch malloc error and exit accordingly As pointed privately by Bill Parker <wp02855@gmail.com>