diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/more_of_diagnostic_information_in_case_of_failures_into_returned_json/comment_2_82b851629c695084cbf62e2b636bcc91._comment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/todo/more_of_diagnostic_information_in_case_of_failures_into_returned_json/comment_2_82b851629c695084cbf62e2b636bcc91._comment b/doc/todo/more_of_diagnostic_information_in_case_of_failures_into_returned_json/comment_2_82b851629c695084cbf62e2b636bcc91._comment index 0ece7ca77..2455f6f66 100644 --- a/doc/todo/more_of_diagnostic_information_in_case_of_failures_into_returned_json/comment_2_82b851629c695084cbf62e2b636bcc91._comment +++ b/doc/todo/more_of_diagnostic_information_in_case_of_failures_into_returned_json/comment_2_82b851629c695084cbf62e2b636bcc91._comment @@ -18,4 +18,4 @@ downloads to work as well with a HTTP library as it works with wget/curl. What we could do is use curl in preference to wget in json mode; curl -s -S avoids all progress etc output and displays the http errors to stderr. -""]] +"""]] |