From d65e74a20a50e2161e5ff2007f53aea8e3b105e2 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 7 Jan 2020 20:24:57 +0100
Subject: ...

---
 src/device/physical/physical_device.c | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

(limited to 'src/device/physical/physical_device.c')

diff --git a/src/device/physical/physical_device.c b/src/device/physical/physical_device.c
index 24c73af..cf74b3c 100644
--- a/src/device/physical/physical_device.c
+++ b/src/device/physical/physical_device.c
@@ -12,6 +12,8 @@
 
 #include <relabsd/config/parameters.h>
 
+#include <relabsd/server.h>
+
 #include <relabsd/device/physical_device.h>
 
 /******************************************************************************/
@@ -200,11 +202,18 @@ int relabsd_physical_device_read
          device->is_late = 0;
 
          return -1;
-   }
 
-   RELABSD_S_PROG_ERROR("Reached what is supposed to be dead code.");
+      default:
+         RELABSD_FATAL
+         (
+            "Unable to access the physical device: %s.",
+            strerror(-returned_code)
+         );
 
-   return -1;
+         relabsd_server_interrupt();
+
+         return -1;
+   }
 }
 
 int relabsd_physical_device_is_late
-- 
cgit v1.2.3-70-g09d2