On Tue, Jan 23, 2024 at 06:42:40PM +0800, Qian Yun wrote:
> Patches committed.
>
> Back to Ralf's original problem, it seems that most
> "terminateSystemCommand" can be removed?
Probably. I am affraid that they require looking at the code
to see if they matter now. There is now a catch in
'doSystemCommand' so 'terminateSystemCommand' should do
no harm.
--
Waldek Hebisch
--
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/Za-vZ83zUdl0tSQG%40fricas.org.
