web: update wai-handler-launch for better startup (fixes #226)
This commit is contained in:
parent
29d4f1c03f
commit
a569bf73c6
@ -9,15 +9,11 @@ packages:
|
|||||||
- hledger-ui
|
- hledger-ui
|
||||||
- hledger-web
|
- hledger-web
|
||||||
- hledger-api
|
- hledger-api
|
||||||
- location:
|
|
||||||
git: https://github.com/yesodweb/wai
|
|
||||||
commit: 2a755b739dcc90a060f0a70b092c74ce7564ef12
|
|
||||||
subdirs:
|
|
||||||
- wai-handler-launch
|
|
||||||
|
|
||||||
extra-deps:
|
extra-deps:
|
||||||
- brick-0.6
|
- brick-0.6
|
||||||
- vty-5.5.0
|
- vty-5.5.0
|
||||||
|
- wai-handler-launch-3.0.2
|
||||||
|
|
||||||
#flags:
|
#flags:
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user