// ban the trips in this path
// unless is is a non-transit trip (in which case this would cause a useless retry)
if ( ! path.getTrips().isEmpty()) {
RoutingRequest newOptions = currOptions.clone();
for (AgencyAndId trip : path.getTrips()) {
newOptions.banTrip(trip);
}
if (!optionQueue.contains(newOptions)) {
optionQueue.add(newOptions);
}
}