diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2019-05-31 23:09:54 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2019-06-01 10:42:00 +0200 |
| commit | ca09d96574e6a321fa141182bfa7c18faa7cd627 (patch) | |
| tree | a5f7193136b27b8d4aa04749a490e93693280643 | |
| parent | c36f42839d88b0e4c938e80ebd5da4c765b0264e (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.d | 2 |
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. |