From 8762f6551d098fc180439463e30502176159623e Mon Sep 17 00:00:00 2001
From: h_vogt <h_vogt>
Date: Sun, 24 Jul 2016 18:04:26 +0200
Subject: [PATCH] main.c free argv after its use (Win GUI only)

---
 src/main.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/main.c b/src/main.c
index b6064cab9..a063f45a3 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1386,6 +1386,14 @@ main(int argc, char **argv)
         if (!SETJMP(jbuf, 1)) {
             /*  enter the command processing loop  */
             cp_interactive = TRUE;
+#ifdef HAS_WINGUI
+            int i;
+            if (argv) {
+                for (i = 0; i < argc; i++)
+                    tfree(argv[i]);
+                tfree(argv);
+            }
+#endif
             app_rl_readlines();
         } else {
             ft_sigintr_cleanup();