Issue 43: sas_tasks.py doesn't handle metrics. - Fast Downward issue tracker

Title	sas_tasks.py doesn't handle metrics.
Priority	bug	Status	resolved
Superseder		Nosy List	haz, malte
Assigned To	malte	Keywords
Optional summary

Created on 2009-10-27.21:53:10 by haz, last changed by malte.

Files
File name	Uploaded	Type	Edit	Remove
diff.out	haz, 2009-10-27.21:53:10	application/octet-stream

Messages
msg99 (view)	Author: malte	Date: 2009-10-29.15:36:59
Applied in r3445, thanks! BTW, unified diffs (diff -u) are a bit easier for me to handle. If you're working from a Subversion checkout, just running "svn diff" without further options will do the right thing if your local working copy contains the patch.
msg98 (view)	Author: haz	Date: 2009-10-27.21:53:10
The sas_tasks.py file (in the trunk/scripts/stuff/sas_tasks folder) doesn't handle metrics properly. The attached patch should do the trick.

History
Date	User	Action	Args
2009-10-29 15:36:59	malte	set	status: unread -> resolved assignedto: malte messages: + msg99
2009-10-28 18:03:58	malte	set	nosy: + malte
2009-10-27 21:53:10	haz	create