Skip to content

Commit 11119a7

Browse files
committed
Don't close target stream when source stream is closed. Frontend might not be finished with the stdio streams just because the backend has closed.
1 parent f1fea43 commit 11119a7

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

src/Main.gren

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -308,12 +308,7 @@ update msg model =
308308
RedirectTerminalIO (Err { error, source, target }) ->
309309
when error is
310310
Stream.Closed ->
311-
Stream.closeWritable target
312-
|> Task.onError
313-
(\err ->
314-
Stream.Log.line model.stderr ("Failed to close stream: " ++ Stream.errorToString error)
315-
)
316-
|> Task.execute
311+
Cmd.none
317312

318313
_ ->
319314
Stream.Log.line model.stderr ("Something went wrong when communicating with compiler backend: " ++ Stream.errorToString error)

0 commit comments

Comments
 (0)