updated for version 7.4.297
Problem: Memory leak from result of get_isolated_shell_name().
Solution: Free the memory. (Dominique Pelle)
diff --git a/src/misc1.c b/src/misc1.c
index 88ebd8d..95d18a5 100644
--- a/src/misc1.c
+++ b/src/misc1.c
@@ -10874,7 +10874,7 @@
}
/*
- * Returns the isolated name of the shell:
+ * Returns the isolated name of the shell in allocated memory:
* - Skip beyond any path. E.g., "/usr/bin/csh -f" -> "csh -f".
* - Remove any argument. E.g., "csh -f" -> "csh".
* But don't allow a space in the path, so that this works: