Le Mon, 06 May 2013 09:43:07 -0400, Dan Espen <[email protected]> a écrit :
> Dominique Michel <[email protected]> writes: > > > Le Sun, 5 May 2013 18:24:39 +0200, > > Dominique Michel <[email protected]> a écrit : > > > >> Le Sun, 05 May 2013 14:56:53 +0200, > >> Thomas Funk <[email protected]> a écrit : > >> > >> > Dominique Michel wrote: > > > >> > > > >> > https://sourceforge.net/p/fvwm-crystal/code/HEAD/tree/fvwm/scripts/FontSelector/FontSelector > >> > A little remark to your script > >> > > >> > to reduce code you can use for loops to assign your font to the > >> > widgets: For $Widget=1 To 6 Do > > > > It look like my script have another and much bigger problem. It was > > working fine yesterday, but it just crash at startup today. It I > > move the ChangeTitle and ShowWidget stuffs from Init to the Periodic > > section, I cannot reproduce this bug, even after restarting the > > machine. > > > > That also seam to imply that Fvwm must have some kind of internal > > cache that keep stuff from a previous run of this script. How can I > > be sure this cache is cleaned without to restart the machine? > > I don't think there is any cache. > If you have a crash, you need to examine the core file. > That's very strange because I cannot reproduce it any more. And I don't find any core file. I must set ulimit -c to something else than 0. Also, I was doing a system update yesterday, and I did purged the old files only now. This should not be a problem, but who knows exactly what can append into such complex systems... Another pointer is I didn't get any report of such a crash, and the last time it was a problem with Fvwm-Crystal, a few peoples was very fast to report it. I think I will wait and see. Dominique -- "We have the heroes we deserve."
