search

fonsp / Pluto.jl

🎈 Simple reactive notebooks for Julia
https://plutojl.org/
MIT License
4.94k stars 285 forks source link

Worker crash should be communicated to user #62

Closed fonsp closed 3 years ago

fonsp commented 4 years ago

(Pointed out by @karlwessel in #61.)

karlwessel commented 4 years ago

An intermediate solution would be an option to stop a notebook without having to stop julia. At the moment the worker seems to keep running even when I stop Pluto.

fonsp commented 4 years ago

@karlwessel Your suggestion is implemented in 0.5.20 :) Notebooks now stop when you stop Pluto.

fonsp commented 4 years ago

@karlwessel Have you experienced any worker crashes since #61 was fixed?

In any case, this issue is still relevant to handle segfaults and such.

karlwessel commented 4 years ago

I don't think I experienced any worker crashs, no. But I also didn't use Pluto that heavily during the last two weeks.

I will use it more in the coming weeks when I try to do our homework assignments with it :).

fonsp commented 4 years ago

Awesome! I actually want to work more on Pluto as an educational tool. If you have any ideas that would improve the experience for beginners or teachers, let me know 😊 (GH issues / Pluto feedback / julialang slack)