From 60265a22f5959651181d920aef91241d2537f307 Mon Sep 17 00:00:00 2001 From: Amalvy Arthur Date: Mon, 18 Jun 2018 15:20:08 +0200 Subject: [PATCH] Corrected a simple but deadly bug #bugcatcher --- Elevator/Elevator.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Elevator/Elevator.c b/Elevator/Elevator.c index 08aa61c..9b43cfb 100644 --- a/Elevator/Elevator.c +++ b/Elevator/Elevator.c @@ -42,7 +42,7 @@ int get_number_of_passengers_Elevator(THIS(Elevator)){ int num; pthread_mutex_lock(&this->mutex_passenger); num = this->passenger_ids->get_size(this->passenger_ids); - pthread_mutex_lock(&this->mutex_passenger); + pthread_mutex_unlock(&this->mutex_passenger); return num; } @@ -103,4 +103,4 @@ Elevator *_init_Elevator(char * name){ new_elevator->set_state(new_elevator, WAITING); return new_elevator; -} \ No newline at end of file +}