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  0x00007f1cfb516720 in __read_nocancel ()
>     at ../sysdeps/unix/syscall-template.S:82
> #1  0x00000000004117e3 in get_from_application (unused_p=0x0, 
>     unused_source=0x168f8a8, unused_id=0x7fff12456e68) at pterm.c:829
> #2  0x00007f1cfc171844 in XtAppProcessEvent ()
>    from /usr/lib/x86_64-linux-gnu/libXt.so.6
> #3  0x00007f1cfc1661dd in XtAppMainLoop ()
>    from /usr/lib/x86_64-linux-gnu/libXt.so.6
> #4  0x000000000040c507 in main_window_go (
>     file_name=0x7fff12457535 "../zed/pp/doc/usr004.doc")
>     at mainw.c:2111
> #5  0x000000000041a3fe in main (argc=6, argv=0x7fff124570f8)
>     at xpp.c:670
> 
> Thanks,
> Jon
> 
> 
> On Mon, Aug 20, 2012 at 3:11 PM, Jon Lockhart <jal...@bucknell.edu> 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 <r...@lemma-one.com> 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 <ProofPower Installation Directory>/bin/xpp <process id>
> 
> 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

Reply via email to