From 46e0c2ac6798b65abb73e068064e334c8e558829 Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Tue, 9 Aug 2016 16:48:52 +0200 Subject: [PATCH] Http_headers: add pragma --- src/http/http_headers.ml | 1 + src/http/http_headers.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/src/http/http_headers.ml b/src/http/http_headers.ml index 60b36eaa0..ef334f36e 100644 --- a/src/http/http_headers.ml +++ b/src/http/http_headers.ml @@ -48,6 +48,7 @@ let if_unmodified_since = name "If-Unmodified-Since" let if_range = name "If-Range" let last_modified = name "Last-Modified" let location = name "Location" +let pragma = name "Pragma" let server = name "Server" let set_cookie = name "Set-Cookie" let status = name "Status" diff --git a/src/http/http_headers.mli b/src/http/http_headers.mli index 9167ed216..7e7b033cb 100644 --- a/src/http/http_headers.mli +++ b/src/http/http_headers.mli @@ -55,6 +55,7 @@ val if_unmodified_since : name val if_range : name val last_modified : name val location : name +val pragma : name val server : name val set_cookie : name val status : name