Report application exit

src/gdb-stub/gdb_stub.cpp

@@ -204,6 +204,13 @@ namespace gdb_stub
 
         void signal_stop(const debugging_context& c)
         {
+            const auto exit_status = c.handler.get_exit_code();
+            if (exit_status)
+            {
+                c.connection.send_reply(*exit_status == 0 ? "W00" : "WFF");
+                return;
+            }
+
             const auto id = c.handler.get_current_thread_id();
             const auto hex_id = utils::string::to_hex_number(id);
             c.connection.send_reply("T05thread:" + hex_id + ";");

src/gdb-stub/gdb_stub.hpp

@@ -48,6 +48,8 @@ namespace gdb_stub
 
         virtual uint32_t get_current_thread_id() = 0;
         virtual std::vector<uint32_t> get_thread_ids() = 0;
+
+        virtual std::optional<uint32_t> get_exit_code() = 0;
     };
 
     bool run_gdb_stub(const network::address& bind_address, debugging_handler& handler);