diff options
| -rw-r--r-- | source/tools/murun.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source/tools/murun.c b/source/tools/murun.c index 881438ec..a808bff7 100644 --- a/source/tools/murun.c +++ b/source/tools/murun.c @@ -4899,7 +4899,11 @@ int murun_main(int argc, char **argv) } js_setglobal(J, "scriptArgs"); if (js_dofile(J, argv[1])) + { + js_freestate(J); + fz_drop_context(ctx); return 1; + } } else { char line[256]; fputs(PS1, stdout); |