Fix bug #9: Julia executable keeps running if TeXmacs is killed#10

woutersj wants to merge 1 commit intomgubi:mainmgubi/tm-julia:mainfrom

woutersj:fix-julia-not-stoppingwoutersj/tm-julia:fix-julia-not-stoppingCopy head branch name to clipboard