aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2019-05-31 23:09:54 +0200
committerDaniel Stenberg <daniel@haxx.se>2019-06-01 10:42:00 +0200
commitca09d96574e6a321fa141182bfa7c18faa7cd627 (patch)
treea5f7193136b27b8d4aa04749a490e93693280643
parentc36f42839d88b0e4c938e80ebd5da4c765b0264e (diff)
dump-header.d: spell out that no headers == empty file [ci skip]
Reported-by: wesinator at github Fixes #3964 Closes #3974
-rw-r--r--docs/cmdline-opts/dump-header.d2
1 files changed, 2 insertions, 0 deletions
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.