3.7.9.1
- Patch for unset resource types
- In case the resource type was not set as a pilot option (it usually is, but not always), the pilot refused to start and complained about it
- Affected TRIUMF and praguelcg2_Karolina_MCORE
- Reported by A. De Silva