When I run a script from bash like this
$ julia hello.jl
where hello.jl is just
and I try to kill it like any other program with Ctrl+c, it hangs for quite some time and finally comes back with
Segmentation fault (core dumped)
This seems like a bug. Any thoughts? Thanks.