Fix engine crashes on game end
- frontlib now waits until the engine actually disconnects
- engine does not write round-end stats to stdout anymore on mobile (caused crash)
- Removed HWTerminate function binding for android (not threadsafe,
better send "eforcequit" over IPC for the same effect)
Name: hedgewars-server
Version: 0.1
Synopsis: hedgewars server
Description: hedgewars server
Homepage: http://www.hedgewars.org/
License: GPL-2
Author: unC0Rr
Maintainer: unC0Rr@hedgewars.org
Category: Game
Build-type: Simple
Cabal-version: >=1.2
Executable hedgewars-server
main-is: hedgewars-server.hs
Build-depends:
base >= 4.3,
unix,
containers,
array,
bytestring,
bytestring-show,
network >= 2.3,
time,
mtl >= 2,
dataenc,
hslogger,
process,
deepseq,
utf8-string
ghc-options: -O2