On 6/15/22 00:28, Waldek Hebisch wrote:
If you take seriously possibility that viewman may die, then natural thing is to automatically restart it. And this is what 'sman' is doing now.
First, the source code of viewman is pretty short and simple, so it is unlikely to die. Second, if in the unlikely cases that viewman dies for some reason, and sman restarts it, it is very likely that viewman will die again for the same reason. And now it is in infinite loop. Which is the problem I encountered in the first place. Even if the natural thing is to restart it, there should be a limit on it. - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/36439081-3374-833b-0253-03c51357ee24%40gmail.com.
