Issue 613: add functions for recovering from out-of-memory situations - Fast Downward issue tracker

Title	add functions for recovering from out-of-memory situations
Priority	feature	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2015-12-10.13:58:56 by jendrik, last changed by jendrik.

Messages
msg4967 (view)	Author: jendrik	Date: 2015-12-11.20:10:32
Merged and pushed, thanks!
msg4966 (view)	Author: malte	Date: 2015-12-11.17:48:09
Added a comment on bitbucket, otherwise ready to merge for me.
msg4964 (view)	Author: jendrik	Date: 2015-12-11.15:54:15
I have created a pull-request at https://bitbucket.org/jendrikseipp/downward/pull-requests/39 Could you please have a look at the changes Malte?

History
Date	User	Action	Args
2015-12-11 20:10:32	jendrik	set	status: reviewing -> resolved messages: + msg4967
2015-12-11 17:48:09	malte	set	messages: + msg4966
2015-12-11 15:54:15	jendrik	set	status: in-progress -> reviewing messages: + msg4964
2015-12-10 13:58:56	jendrik	create