From 2d03e622f11fa81c0d624c2b37a10e12905b45b3 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 8 Aug 2019 14:54:31 +0200
Subject: [PATCH] usb_block: exit on initialization failure

Issue #3468
---
 repos/os/src/drivers/usb_block/main.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/drivers/usb_block/main.cc b/repos/os/src/drivers/usb_block/main.cc
index 994b14760..c0966824a 100644
--- a/repos/os/src/drivers/usb_block/main.cc
+++ b/repos/os/src/drivers/usb_block/main.cc
@@ -17,6 +17,7 @@
 #include <base/component.h>
 #include <base/log.h>
 #include <base/heap.h>
+#include <base/sleep.h>
 #include <block/component.h>
 #include <block/driver.h>
 #include <block_session/connection.h>
@@ -86,6 +87,8 @@ struct Usb::Block_driver : Usb::Completion,
 		Genode::log("Device plugged");
 
 		if (!initialize()) {
+			env.parent().exit(-1);
+			Genode::sleep_forever();
 			return;
 		}
 
@@ -561,11 +564,9 @@ struct Usb::Block_driver : Usb::Completion,
 		} catch (int) {
 			/* handle command failures */
 			Genode::error("Could not initialize storage device");
-			return false;
 		} catch (...) {
 			/* handle Usb::Session failures */
 			Genode::error("Could not initialize storage device");
-			throw;
 		}
 		return false;
 	}