equal
deleted
inserted
replaced
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 , "--stats-only" |
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 |