semaphore for TravelAgency.cs added