Mark Goddard 76c3f05680 Skip storm play when not enabled
Minor scalability improvement, not currently applied to storm.

Change-Id: I928d362067c52c3113bc0fbd3ae4b9be1810b7e5
TrivialFix
2020-06-26 14:42:54 +01:00
..
2020-05-17 18:21:39 +08:00
2016-12-05 15:40:56 +00:00
2020-05-12 17:39:07 +00:00
2020-06-26 14:42:54 +01:00