on master help sign in
Merge pull request #1254 from natsuki14/patch-1

I guess some sample curl commands are wrong.

commit00d9b6079668ce3e2767ed92ce098b72947474bb authorAlp Mestanogullari <alpmestan@gmail.com> dateThu 19 Dec 2019, 07:53 (7 years ago) parent9536f1d2050ec8
1 file changed+2−2
doc/tutorial/Authentication.lhs+2−2
doc/tutorial/Authentication.lhs+2−2
@@ -368,10 +368,10 @@ genAuthMain = run 8080 (serveWithContext genAuthAPI genAuthServerContext genAuth
368368$ curl -XGET localhost:8080/private
369369Missing auth header
370370
371−$ curl -XGET localhost:8080/private -H "servant-auth-cookie: key3"
371+$ curl -XGET localhost:8080/private -H "Cookie: servant-auth-cookie=key3"
372372[{"ssshhh":"this is a secret: Ghédalia Tazartès"}]
373373
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"
375375Invalid Cookie
376376
377377$ curl -XGET localhost:8080/public