From 743321899674e03cf572fcfeb6c7705aded7c9a5 Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Tue, 17 Sep 2019 13:27:55 -0500 Subject: [PATCH] (Ada) do not print Ada task names in quotes in "info tasks" output A recent change enhanced a couple of notifications about Ada tasks to include the task's name in addition to the task's number. That change also modified the output of the "info tasks" when printing the detailed information of one given task. I believe this change was unintentionally left over from the initial version after it was decided that quoting the task's name should not be done. This patch therefore undoes this part of the patch. gdb/ChangeLog: * ada-tasks.c (info_task): Remove quoting of the task's name. Tested on x86_64-linux, with both the official testsuite as well as AdaCore's testsuite. --- gdb/ChangeLog | 4 ++++ gdb/ada-tasks.c | 6 +++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 59c6f754ef..c564fcecc0 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2019-09-17 Joel Brobecker + + * ada-tasks.c (info_task): Remove quoting of the task's name. + 2019-09-16 Christian Biesinger * symfile.c (auto_solib_add): Replace comment with a reference diff --git a/gdb/ada-tasks.c b/gdb/ada-tasks.c index 34da786eb7..24ceab1fca 100644 --- a/gdb/ada-tasks.c +++ b/gdb/ada-tasks.c @@ -1199,7 +1199,7 @@ info_task (struct ui_out *uiout, const char *taskno_str, struct inferior *inf) /* Print the name of the task. */ if (task_info->name[0] != '\0') - printf_filtered (_("Name: \"%s\"\n"), task_info->name); + printf_filtered (_("Name: %s\n"), task_info->name); else printf_filtered (_("\n")); @@ -1220,7 +1220,7 @@ info_task (struct ui_out *uiout, const char *taskno_str, struct inferior *inf) printf_filtered (_("Parent: %d"), parent_taskno); if (parent->name[0] != '\0') - printf_filtered (" (\"%s\")", parent->name); + printf_filtered (" (%s)", parent->name); printf_filtered ("\n"); } else @@ -1253,7 +1253,7 @@ info_task (struct ui_out *uiout, const char *taskno_str, struct inferior *inf) ada_task_info *target_task_info = &data->task_list[target_taskno - 1]; if (target_task_info->name[0] != '\0') - printf_filtered (" (\"%s\")", target_task_info->name); + printf_filtered (" (%s)", target_task_info->name); } printf_filtered ("\n");