Issue 307: scripts: replace configobj with json for property files - Fast Downward issue tracker

Title	scripts: replace configobj with json for property files
Priority	feature	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2011-12-13.02:14:44 by jendrik, last changed by jendrik.

Messages
msg1995 (view)	Author: jendrik	Date: 2011-12-17.20:50:13
The new-scripts 2.0 now use JSON. I'll make the new code available soon BTW, it still needs some improvements and testing.
msg1989 (view)	Author: malte	Date: 2011-12-13.11:10:36
Looks good indeed!
msg1987 (view)	Author: jendrik	Date: 2011-12-13.02:14:44
I ran some tests and it seems that the change is really worth the effort: These are the times (in seconds) it takes to read and write a properties file with 204813 lines (medium size). Each number is the sum of 10 runs. * configobj_print: 13.2119278908 * json_print : 9.19756507874 * configobj_read : 52.4691631794 * json_read : 2.96070408821

History
Date	User	Action	Args
2011-12-17 20:50:13	jendrik	set	status: chatting -> resolved messages: + msg1995
2011-12-13 11:10:37	malte	set	status: unread -> chatting messages: + msg1989
2011-12-13 02:14:44	jendrik	create