void VesselWasModified(Vessel vessel)
{
if (vessel.isActiveVessel)
{
cacheManager.setSchedule(config.minCacheUpdateInterval);
}
}
void VesselWasModified(Vessel vessel)
{
// null check here - somehow this occasionally is null?
if (vessel != null && vessel.isActiveVessel)
{
cacheManager.setSchedule(config.MinCacheUpdateInterval);
}
}