Diff between 3af320e60dfcd5bf2ec35c2b3bc0fb9a66788bae and d38e0b451407cf578226e9a83ec974aa8889b577

Changed Files

File Additions Deletions Status
emulator/main.c +3 -1 modified

Full Patch

diff --git a/emulator/main.c b/emulator/main.c
index f47faa2..cadee35 100644
--- a/emulator/main.c
+++ b/emulator/main.c
@@ -124,8 +124,10 @@ int main(int argc, char *argv[])
 
 	for (i = 0; i < vhci_count; i++) {
 		vhci = vhci_open(vhci_type);
-		if (!vhci)
+		if (!vhci) {
 			fprintf(stderr, "Failed to open Virtual HCI device\n");
+			return EXIT_FAILURE;
+		}
 	}
 
 	server1 = server_open_unix(SERVER_TYPE_BREDRLE,