From 149a0183ec0a03a5ba18bd34fdf29b858836ca2e Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 27 Sep 2023 17:20:12 +0200
Subject: [PATCH] monitor: fix 'vCont?' command response

Fixes #5010
---
 repos/os/src/monitor/gdb_stub.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/os/src/monitor/gdb_stub.h b/repos/os/src/monitor/gdb_stub.h
index 445af88318..1a190be55c 100644
--- a/repos/os/src/monitor/gdb_stub.h
+++ b/repos/os/src/monitor/gdb_stub.h
@@ -839,6 +839,9 @@ struct vCont : Command_without_separator
 			handled = true;
 		});
 
+		if (handled)
+			return;
+
 		with_skipped_prefix(args, ";", [&] (Const_byte_range_ptr const &args) {
 
 			for_each_argument(args, Sep { ';' }, [&] (Const_byte_range_ptr const &arg) {