Issue 216: modify the C++ code to catch out-of-memory exceptions properly - Fast Downward issue tracker

Title	modify the C++ code to catch out-of-memory exceptions properly
Priority	feature	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2011-02-12.22:30:06 by jendrik, last changed by jendrik.

Messages
msg2445 (view)	Author: jendrik	Date: 2013-05-17.12:23:03
This has been fixed in issue376.
msg1236 (view)	Author: jendrik	Date: 2011-02-12.22:30:05
This allows the scripts to check for error codes instead of parsing "bad-alloc- strings" in the logs.

History
Date	User	Action	Args
2013-05-17 12:23:03	jendrik	set	status: unread -> resolved assignedto: malte -> jendrik messages: + msg2445
2011-02-12 22:30:06	jendrik	create