Re: [julia-users] pager in the repl

[Steven G. Johnson]

On Friday, May 23, 2014 4:15:26 PM UTC-4, Steven G. Johnson wrote:
 

>     finally
>         kill(P)
>     end
>
>
>
(This should be catch, not finally, and should rethrow().)