Re: [ProofPower] Trying to Prove my Zed Specifications
Jon, Thanks. This looks like a very strange race condition. Do you get the same problem if you do Kill from the Command Menu or just quit xpp from the File Menu rather than run the save_and_quit command? If not, then a possible work-around is just not to use quit or save_and_quit. Regards, Rob. On 20 Aug 2012, at 20:17, Jon Lockhart wrote: > Rob, > > Got it installed and this is what was reported when where was run. > > (gdb) where > #0 0x7f1cfb516720 in __read_nocancel () > at ../sysdeps/unix/syscall-template.S:82 > #1 0x004117e3 in get_from_application (unused_p=0x0, > unused_source=0x168f8a8, unused_id=0x7fff12456e68) at pterm.c:829 > #2 0x7f1cfc171844 in XtAppProcessEvent () >from /usr/lib/x86_64-linux-gnu/libXt.so.6 > #3 0x7f1cfc1661dd in XtAppMainLoop () >from /usr/lib/x86_64-linux-gnu/libXt.so.6 > #4 0x0040c507 in main_window_go ( > file_name=0x7fff12457535 "../zed/pp/doc/usr004.doc") > at mainw.c:2111 > #5 0x0041a3fe in main (argc=6, argv=0x7fff124570f8) > at xpp.c:670 > > Thanks, > Jon > > > On Mon, Aug 20, 2012 at 3:11 PM, Jon Lockhart wrote: > Rob, > > I have run into something interesting. None of the buttons work in the > window, just as File, Edit, etc, nor do the buttons for closing, maximizing > the window, etc., but I am able to move the window around no problem. I have > moved the window everywhere, there is no other window around, so that rules > out that. I also looked at the process id list to see if there was anything > besides the one xpp, and there is not, so there is just the one running. > > I will try and get this gdb installed on my Debian imaged and get back to you. > > Thanks, > Jon > > > > On Mon, Aug 20, 2012 at 1:01 PM, Rob Arthan wrote: > Jon, > > On 19 Aug 2012, at 20:51, Jon Lockhart wrote: > > > Roger, > > > > > Yes, the xpp interface locks. The command executes and then I can't access > > any of the taps in the journal window, the ML command line will not close, > > nor can I use the palette I have open either. > > My first guess is that a dialogue window that has popped up but is hidden > behind one of the other windows. Are you able to slide the windows around to > look for such a thing? If this is the case, then please let me know what > Linux distribution and desktop you are using and I will try to find out why > the window manager isn't getting the stacking ordering right. > > If that isn't the problem, then we need to find where xpp is hanging. To do > this, first install gdb if you don't already have it. Then reproduce the > problem and find out the process id for the xpp process and do: > > gdb /bin/xpp > > and then when gdb gives you its prompt, type "where". > > Regards, > > Rob. > > > > > ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob, I have run into something interesting. None of the buttons work in the window, just as File, Edit, etc, nor do the buttons for closing, maximizing the window, etc., but I am able to move the window around no problem. I have moved the window everywhere, there is no other window around, so that rules out that. I also looked at the process id list to see if there was anything besides the one xpp, and there is not, so there is just the one running. I will try and get this gdb installed on my Debian imaged and get back to you. Thanks, Jon On Mon, Aug 20, 2012 at 1:01 PM, Rob Arthan wrote: > Jon, > > On 19 Aug 2012, at 20:51, Jon Lockhart wrote: > > > Roger, > > > > > Yes, the xpp interface locks. The command executes and then I can't > access any of the taps in the journal window, the ML command line will not > close, nor can I use the palette I have open either. > > My first guess is that a dialogue window that has popped up but is hidden > behind one of the other windows. Are you able to slide the windows around > to look for such a thing? If this is the case, then please let me know what > Linux distribution and desktop you are using and I will try to find out why > the window manager isn't getting the stacking ordering right. > > If that isn't the problem, then we need to find where xpp is hanging. To > do this, first install gdb if you don't already have it. Then reproduce the > problem and find out the process id for the xpp process and do: > > gdb /bin/xpp > > and then when gdb gives you its prompt, type "where". > > Regards, > > Rob. > > > > ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon, On 19 Aug 2012, at 20:51, Jon Lockhart wrote: > Roger, > > Yes, the xpp interface locks. The command executes and then I can't access > any of the taps in the journal window, the ML command line will not close, > nor can I use the palette I have open either. My first guess is that a dialogue window that has popped up but is hidden behind one of the other windows. Are you able to slide the windows around to look for such a thing? If this is the case, then please let me know what Linux distribution and desktop you are using and I will try to find out why the window manager isn't getting the stacking ordering right. If that isn't the problem, then we need to find where xpp is hanging. To do this, first install gdb if you don't already have it. Then reproduce the problem and find out the process id for the xpp process and do: gdb /bin/xpp and then when gdb gives you its prompt, type "where". Regards, Rob. ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com