[jbosstools-issues] [JBoss JIRA] (JBIDE-10780) Gnome Shell crash when editing wsdl file

[Robert Balent (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-10780?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12696272#comment-12696272 ] 

Robert Balent commented on JBIDE-10780:
---------------------------------------

The whole window manager crash.

There is error in /var/log/messages.log:

May 26 21:15:48 localhost kernel: [ 1341.806033] gnome-shell[1111]: segfault at 18 ip 00007f6830bdac41 sp 00007fff8b1c3990 error 4 in libmutter.so.0.0.0[7f6830b66000+be000]
May 26 21:15:49 localhost gnome-session[988]: WARNING: Application 'gnome-shell.desktop' killed by signal 11
                
> Gnome Shell crash when editing wsdl file
> ----------------------------------------
>
>                 Key: JBIDE-10780
>                 URL: https://issues.jboss.org/browse/JBIDE-10780
>             Project: Tools (JBoss Tools)
>          Issue Type: Bug
>          Components: BPEL, UpStream
>    Affects Versions: 3.3.0.M5, 3.3.0.Beta2-SOA
>            Reporter: Pavol Srna
>            Assignee: Pavol Srna
>            Priority: Blocker
>              Labels: UX
>         Attachments: bpel-screen1.png
>
>
> This jira was found during the JBDS TestDay. Gnome Shell will crash when you edit some wsdl file. I saw this issues couple of times but cannot always reproduce.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira