From f946de445098b41825c53887d8ef5c77ac162f1c Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Mon, 6 Jul 2020 11:44:18 +0200 Subject: [PATCH] tcp_terminal: use Mutex Issue #3803 --- repos/gems/src/server/tcp_terminal/main.cc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/repos/gems/src/server/tcp_terminal/main.cc b/repos/gems/src/server/tcp_terminal/main.cc index 8f96c9f83c..688d630400 100644 --- a/repos/gems/src/server/tcp_terminal/main.cc +++ b/repos/gems/src/server/tcp_terminal/main.cc @@ -277,7 +277,7 @@ class Open_socket_pool /** * Protection for '_list' */ - Genode::Lock _lock; + Genode::Mutex _mutex; /** * List of open sockets @@ -332,7 +332,7 @@ class Open_socket_pool void insert(Open_socket *s) { - Genode::Lock::Guard guard(_lock); + Genode::Mutex::Guard guard(_mutex); _list.insert(s); _count++; _wakeup_select(); @@ -340,7 +340,7 @@ class Open_socket_pool void remove(Open_socket *s) { - Genode::Lock::Guard guard(_lock); + Genode::Mutex::Guard guard(_mutex); _list.remove(s); _count--; _wakeup_select(); @@ -357,7 +357,7 @@ class Open_socket_pool fd_set rfds; int nfds = 0; { - Genode::Lock::Guard guard(_lock); + Genode::Mutex::Guard guard(_mutex); /* collect file descriptors of all open sessions */ FD_ZERO(&rfds); @@ -408,7 +408,7 @@ class Open_socket_pool /* read pending data from sockets */ { - Genode::Lock::Guard guard(_lock); + Genode::Mutex::Guard guard(_mutex); for (Open_socket *s = _list.first(); s; s = s->next()) {