wai/wai-handler-launch
Michael Snoyman 089e6492df Version bump
2016-05-22 07:30:54 +03:00
..
Network/Wai/Handler Merge pull request #541 from simonmichael/master 2016-05-02 20:20:42 +03:00
.gitignore Add 'wai-handler-launch/' from commit 'bf2844de5e2612a6c2ce962a91664da203b8aaf6' 2011-07-22 16:52:42 +03:00
ChangeLog.md Version bump 2016-05-22 07:30:54 +03:00
LICENSE Update license with MIT license 2012-04-27 17:31:26 +03:00
README Add 'wai-handler-launch/' from commit 'bf2844de5e2612a6c2ce962a91664da203b8aaf6' 2011-07-22 16:52:42 +03:00
README.md Doc link updates 2014-12-21 11:27:53 +02:00
runtests.hs Add 'wai-handler-launch/' from commit 'bf2844de5e2612a6c2ce962a91664da203b8aaf6' 2011-07-22 16:52:42 +03:00
Setup.lhs install-all.sh 2011-07-22 16:59:10 +03:00
test.hs Fixes for wai-handler-launch 2014-05-22 18:06:28 +03:00
wai-handler-launch.cabal Version bump 2016-05-22 07:30:54 +03:00
windows.c Use _snprintf from msvcrt in windows.c. 2015-01-29 12:42:31 +02:00

wai-handler-launch

This handles cross-platform launching and inserts Javascript code to ping the server. When the server no longer receives pings, it shuts down.