From cbb4e47d0061bf6e6aad7d793ce7a2204a20a33e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= Date: Sat, 3 Dec 2016 23:19:16 +0100 Subject: [PATCH] Prevent crash from #267. --- src/c/file.d | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/c/file.d b/src/c/file.d index d3e1794eb..0f739b0c7 100755 --- a/src/c/file.d +++ b/src/c/file.d @@ -2611,6 +2611,8 @@ safe_fclose(FILE *stream) { const cl_env_ptr the_env = ecl_process_env(); int output; + /* If someone have closed our fd, do nothing. See #267. */ + unlikely_if (fileno(stream) == -1) return 0; ecl_disable_interrupts_env(the_env); output = fclose(stream); ecl_enable_interrupts_env(the_env);