faultspaceplot.sh now fails gracefully if the requested variant/benchmark combination does not exist in the database. Change-Id: Ied3b5a0e72cc5ae8e6ce352b65486f15bb13576b
faultspaceplot.sh now fails gracefully if the requested variant/benchmark combination does not exist in the database. Change-Id: Ied3b5a0e72cc5ae8e6ce352b65486f15bb13576b