[GNUnet-SVN] [gnurl] 49/63: dump-header.d: spell out that no headers == empty file [ci skip]

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnurl.

commit ca09d96574e6a321fa141182bfa7c18faa7cd627
Author: Daniel Stenberg <address@hidden>
AuthorDate: Fri May 31 23:09:54 2019 +0200

    dump-header.d: spell out that no headers == empty file [ci skip]
    
    Reported-by: wesinator at github
    Fixes #3964
    Closes #3974
---
 docs/cmdline-opts/dump-header.d | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/cmdline-opts/dump-header.d b/docs/cmdline-opts/dump-header.d
index 05c10affd..33c6674e8 100644
--- a/docs/cmdline-opts/dump-header.d
+++ b/docs/cmdline-opts/dump-header.d
@@ -12,6 +12,8 @@ site sends to you. Cookies from the headers could then be 
read in a second
 curl invocation by using the --cookie option! The --cookie-jar option is a
 better way to store cookies.
 
+If no headers are received, the use of this option will create an empty file.
+
 When used in FTP, the FTP server response lines are considered being "headers"
 and thus are saved there.
 

-- 
To stop receiving notification emails like this one, please contact
address@hidden.