web server: Treat upgrade requests as case-insensitive.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 22 Apr 2019 15:03:45 +0000 (17:03 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 22 Apr 2019 18:08:36 +0000 (20:08 +0200)
* 8sync/systems/web.scm (maybe-upgrade-request): Compare using
string-ci=?  Fixes upgrade request for "WebSocket".


No differences found