Log gdb version and configuration in DAP

I think it would be useful for gdb's DAP logs to come with the version
and configuration information.  This might make debugging some bug
reports a little simpler.

diff --git a/gdb/python/lib/gdb/dap/__init__.py b/gdb/python/lib/gdb/dap/__init__.py
index 51b95468a7026ea1d5c8859b5dc414250e18b48e..145aeb611fc0d0862aa2af009f34256a12a157dd 100644 (file)
--- a/gdb/python/lib/gdb/dap/__init__.py
+++ b/gdb/python/lib/gdb/dap/__init__.py
@@ -92,5 +92,8 @@ def pre_command_loop():
         # session.
         session_started = True
         startup.thread_log("starting DAP server")
+        # These are handy for bug reports.
+        startup.exec_and_log("show version")
+        startup.exec_and_log("show configuration")
         global server
         startup.start_dap(server.main_loop)