OK, the "xvfb-run --help" on Fedora shows:
-a --auto-servernum
try to get a free server number, starting at --server-num
(deprecated, use --auto-display instead)
-d --auto-display
use the X server to find a display number automatically
Well, the "--auto-display" option is not necessary available on
other systems. So we should stay with "-a" option but drop "-n".
More info on this bug:
by adding extra argument "-e errlog" to xvfb-run we can see the
error is indeed "Server is already active for display 0."
Now, about seg fault in "view2D":
gdb shows that it happens in "XFreeFont" in function "goodbye"
in file "src/graph/view2D/stuff2d.c".
Comparing with function "goodbye" in "src/graph/view3D/stuff3d.c",
which doesn't have "XFreeFont".
By commenting out those "XFreeFont", now there is no more
"view2D" seg faults and no more "double free or corruption (!prev)"
messages.
- Qian
On 10/27/22 18:50, oldk1331 wrote:
Hi,
I can reproduce this error on Fedora 36 desktop.
Just to make sure, did you build fricas in desktop or in (remote)
console? I assume you are building under desktop and you can see the
drawings popup. But that is not expected.
As you can see in the log, there's possible memory fault (double free
or corruption (!prev)) and if you check dmesg, there might be seg
faults. But seems that's not directly linked with this error.
I think this is somewhat related with
https://github.com/fricas/fricas/issues/57
The solution is same: remove "-n 0" from XVFB=... in configure and
configure.ac
It is strange that we are still using "-n 0": first the help shows
that it is deprecated to use "-a" together with "-n"; second, it's
easy to conflict with current DISPLAY to use "0".
- 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/dd103ae6-8965-5667-bf36-8c7f0d5c83b2%40gmail.com.
