From 4ff2099e994c021068e1748f60744772c54de1a9 Mon Sep 17 00:00:00 2001
From: Dimitri Lozeve <dimitri@lozeve.com>
Date: Sun, 1 Oct 2023 17:54:30 +0200
Subject: [PATCH] Remove temp header files after request

---
 curl.bqn | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/curl.bqn b/curl.bqn
index 37ea356..95b9327 100644
--- a/curl.bqn
+++ b/curl.bqn
@@ -64,7 +64,10 @@ headers 𝕊 url:
   responseHeaders←•file.Chars headerFilename
 
   •file.Remove filename
+  •file.Remove headerFilename
+
   EasyCleanup session
+
   {
     code⇐code,
     time⇐time,
@@ -73,7 +76,6 @@ headers 𝕊 url:
   }
 }
 
-
 Post←{
 𝕊 url‿data: ⟨⟩ 𝕊 url‿data ;
 headers 𝕊 url‿data:
@@ -125,7 +127,10 @@ headers 𝕊 url‿data:
   responseHeaders←•file.Chars headerFilename
 
   •file.Remove filename
+  •file.Remove headerFilename
+
   EasyCleanup session
+
   {
     code⇐code,
     time⇐time,