Unapplying the src/hyper/event.c patch does not solve this issue for information. So not relied apparently but no longer works.
Le ven. 31 mai 2024 à 21:23, Grégory Vanuxem <g.vanu...@gmail.com> a écrit : > > Hello Qian, > > Can you test this, start fricas with just Git cloned fricas and your > patch applied (ven. 31 mai 2024 21:07:10 CEST): > > fricas -rl -noht > > After, start HD with )hd, browse dilog operation, you have the > descriptions in a second window. Personally I move the second window a > little on the right. > After, call some routines and close FriCAS with ')q', HD hasn't the focus. > > └─$ fricas -rl -noht > Checking for foreign routines > FRICAS="/home/greg/.local/lib/fricas/target/x86_64-linux-gnu" > spad-lib="/home/greg/.local/lib/fricas/target/x86_64-linux-gnu//lib/libspad.so" > foreign routines found > openServer result 0 > FriCAS Computer Algebra System > Version: FriCAS 2024-04-15 built with sbcl 2.4.4 > Timestamp: ven. 31 mai 2024 20:51:34 CEST > ----------------------------------------------------------------------------- > Issue )copyright to view copyright notices. > Issue )summary for a summary of useful system commands. > Issue )quit to leave FriCAS and return to shell. > ----------------------------------------------------------------------------- > > > (1) -> )hd > (1) -> dilog(0.3) > > (1) 0.8893776242_8603873859_98408 > Type: Complex(Float) > (2) -> )q > > FriCAS is not instantly closed. > > That happens also with Clozure CL. > > Personally, I had to hard kill (- 15) sman or wait a long time. I > already encountered this with a message like this: > > XIO: fatal IO error 4 (Interrupted system call) on X server ":0" > after 2715 requests (2715 known processed) with 0 events remaining. > > > > Le mer. 29 mai 2024 à 16:08, Qian Yun <oldk1...@gmail.com> a écrit : > > > > I tried more debugging and I hope I solve this problem > > in the correct direction. > > > > Everything is connected now... These are all related: > > > > https://github.com/fricas/fricas/issues/171 > > https://github.com/fricas/fricas/issues/170 > > https://github.com/fricas/fricas/pull/101 > > > > > > One thing remains unclear to me: is "wait_for_client_read" > > really useful? > > > > Basically what this patch does is: > > close the process (sman/session/spadbuf/viewman/hypertex) > > only after its input source is closed. > > > > This should make sure no data is lost in the socket buffer. > > > > Please test if this patch solves the problem. > > > > - Qian > > > > On 5/29/24 19:37, Ralf Hemmecke wrote: > > > On 5/29/24 11:24, Qian Yun wrote: > > >> Do you think this is a problem that needs to be fixed before commit? > > > > > > If I had something to say, I would like to solve that problem once and > > > for all. Would it be too hard to synchronize the writeout of files by a > > > temporary file on hard disk (or some cheaper option if possible)? > > > > > > I could also imagine another solution. > > > If I am not wrong then these truncated files come from .htex files. > > > So, the respective .input files that are fed to fricas are generated. > > > We simply add two lines to these files, one at the beginning, and one at > > > the end something like > > > > > > -- %%% BEGIN %%% > > > > > > -- %%% ENE %%% > > > > > > and then check the generated file for existence of these lines. If they > > > are not there, then the .input file has to be sent again through fricas. > > > That has the chance of looping forever. But is probability of an > > > infinite loop higher or lower than what we have now? > > > > > > I especially do not like that the beginning or end of the file can be > > > truncated at a place that does not lead to a LaTeX error. > > > (I know that this can also already happen on "master", but we should do > > > something about it.) > > > > > > So the book would be incomplete, but that would only be recognized if > > > someone actually reads the book and figures out that something is > > > missing. However, the book will most probably only be read by newcomers > > > that cannot be expected to see that something is (wrongly) missing. > > > > > > Opinions? > > > > > > Ralf > > > > > > > -- > > 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 fricas-devel+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/fricas-devel/150ffce1-80f3-461a-a4b7-984235bd0d8b%40gmail.com. -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dZQ6ZtZGnK6iqqdj%3D4PZRvxB39tivwzaZxB%3D9XV6tVz7g%40mail.gmail.com.
