@@ -368,10 +368,10 @@ genAuthMain = run 8080 (serveWithContext genAuthAPI genAuthServerContext genAuth
368$ curl -XGET localhost:8080/private
368$ curl -XGET localhost:8080/private
369Missing auth header
369Missing auth header
371−$ curl -XGET localhost:8080/private -H "servant-auth-cookie: key3"
371+$ curl -XGET localhost:8080/private -H "Cookie: servant-auth-cookie=key3"
372[{"ssshhh":"this is a secret: Ghédalia Tazartès"}]
372[{"ssshhh":"this is a secret: Ghédalia Tazartès"}]
374−$ curl -XGET localhost:8080/private -H "servant-auth-cookie: bad-key"
374+$ curl -XGET localhost:8080/private -H "Cookie: servant-auth-cookie=bad-key"
375Invalid Cookie
375Invalid Cookie
377$ curl -XGET localhost:8080/public
377$ curl -XGET localhost:8080/public