diff --git a/julia/TeXmacsJulia.jl b/julia/TeXmacsJulia.jl index 97ceb5c..319f0f5 100644 --- a/julia/TeXmacsJulia.jl +++ b/julia/TeXmacsJulia.jl @@ -292,7 +292,7 @@ tm_end() n = 0 # execution counter ans = nothing # record last successful answer in ans -while true +while !eof(stdin) line = readline(stdin) length(line) == 0 && continue if line[1] == DATA_COMMAND