From f57caf0987f33701fb9cc6537df59973adee9ed8 Mon Sep 17 00:00:00 2001
From: steve-chavez <stevechavezast@gmail.com>
Date: Tue, 28 Apr 2020 10:16:29 -0500
Subject: [PATCH] Readd openapi-server-proxy-uri config option

This option accidentaly got lost during a merge.

Fixes https://github.com/PostgREST/postgrest/issues/1500
---
 CHANGELOG.md            | 1 +
 src/PostgREST/Config.hs | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 6d8210573..d05d0d96f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,6 +11,7 @@ This project adheres to [Semantic Versioning](http://semver.org/).
 
 - #1473, Fix overloaded computed columns on RPC - @wolfgangwalther
 - #1471, Fix POST, PATCH, DELETE with ?select= and return=minimal and PATCH with empty body - @wolfgangwalther
+- #1500, Fix missing `openapi-server-proxy-uri` config option - @steve-chavez
 
 ## [7.0.0] - 2020-04-03
 
diff --git a/src/PostgREST/Config.hs b/src/PostgREST/Config.hs
index 9b38fec83..0761f3a65 100644
--- a/src/PostgREST/Config.hs
+++ b/src/PostgREST/Config.hs
@@ -153,7 +153,7 @@ readOptions = do
       AppConfig
         <$> reqString "db-uri"
         <*> reqString "db-anon-role"
-        <*> optString "server-proxy-uri"
+        <*> optString "openapi-server-proxy-uri"
         <*> (fromList . splitOnCommas <$> reqValue "db-schema")
         <*> (fromMaybe "!4" <$> optString "server-host")
         <*> (fromMaybe 3000 <$> optInt "server-port")