71                 [fileName

    71                 [fileName

    72                 , "--user-prefix", "/usr/home/unC0Rr/.hedgewars"

    72                 , "--user-prefix", "/usr/home/unC0Rr/.hedgewars"

    73                 , "--prefix", "/usr/home/unC0Rr/Sources/Hedgewars/Releases/0.9.19/share/hedgewars/Data"

    73                 , "--prefix", "/usr/home/unC0Rr/Sources/Hedgewars/Releases/0.9.19/share/hedgewars/Data"

    74                 , "--nomusic"

    74                 , "--nomusic"

    75                 , "--nosound"

    75                 , "--nosound"

    76                 ])

    77                 ])

    77             {std_err = CreatePipe}

    78             {std_err = CreatePipe}

    78     hSetBuffering hOut LineBuffering

    79     hSetBuffering hOut LineBuffering

    79     void $ forkIO $ engineListener coreChan hOut fileName

    80     void $ forkIO $ engineListener coreChan hOut fileName

    80 

    81