1Name: wai-handler-launch
3Synopsis: Launch a web app in the default browser.
4Description: This handles cross-platform launching and inserts Javascript code to ping the server. When the server no longer receives pings, it shuts down.
8Maintainer: michael@snoyman.com
14 Exposed-modules: Network.Wai.Handler.Launch
15 build-depends: base >= 4 && < 5
17 , warp >= 3.0 && < 3.1
19 , transformers >= 0.2.2
20 , bytestring >= 0.9.1.4
21 , blaze-builder >= 0.2.1.4 && < 0.4
26 cpp-options: -DWINDOWS
27 extra-libraries: Shell32
29 build-depends: process >= 1.0 && < 1.3
35 location: git://github.com/yesodweb/wai.git
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list