From abafb7b4f90006442c10a341f0d9bef44ba3b08a Mon Sep 17 00:00:00 2001 From: Bob Weinand Date: Thu, 25 Sep 2014 00:22:58 +0200 Subject: [PATCH] Better naming in list command and inform about filename --- phpdbg_list.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/phpdbg_list.c b/phpdbg_list.c index 748461908c..17a125fcf7 100644 --- a/phpdbg_list.c +++ b/phpdbg_list.c @@ -150,7 +150,7 @@ void phpdbg_list_file(const char *filename, long count, long offset, int highlig offset = 0; } - phpdbg_xml(""); + phpdbg_xml("", filename); while (php_stream_gets(stream, buffer, sizeof(buffer)) != NULL) { long linelen = strlen(buffer); @@ -159,12 +159,12 @@ void phpdbg_list_file(const char *filename, long count, long offset, int highlig if (offset <= line) { if (!highlight) { - phpdbg_write("line", "num=\"%d\" code=\"%s\"", " %05ld: %s", line, buffer); + phpdbg_write("line", "line=\"%d\" code=\"%s\"", " %05ld: %s", line, buffer); } else { if (highlight != line) { - phpdbg_write("line", "num=\"%ld\" code=\"%s\"", " %05ld: %s", line, buffer); + phpdbg_write("line", "line=\"%ld\" code=\"%s\"", " %05ld: %s", line, buffer); } else { - phpdbg_write("line", "num=\"%ld\" code=\"%s\" current=\"current\"", ">%05ld: %s", line, buffer); + phpdbg_write("line", "line=\"%ld\" code=\"%s\" current=\"current\"", ">%05ld: %s", line, buffer); } } -- 2.50.0