diff options
author | Ben Sima <ben@bsima.me> | 2020-03-31 17:12:09 -0700 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2020-03-31 17:12:09 -0700 |
commit | 9493e2dbf9671d55fea2a96aa057589670e9673a (patch) | |
tree | 6702a9bc37826d8fd1f522a7ab16a7a2b696447d /ghci | |
parent | 721cca4b1372e222c6841ddc57bb952271d72dc7 (diff) |
Massively improve the que-website
curl was throwing an exception if the file got too long, because I was
passing the entire file contents in the arguments to curl. I tried using
a tmp file but that didn't work for some reason. So I switched to req
and that seems to work well.
I also made it faster by serving all pages concurrently, and I spruced
up the CSS a ton.
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions