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,