GNOME Bugzilla – Bug 711694
Lockup of system, only top bar menus accessible
Last modified: 2013-11-19 14:33:32 UTC
I got a lockup of my system. I had a popup from a friend who was chatting with me, and I think that was what triggered it. Output from the journal: 'Nov 08 16:18:45 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:45 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:45 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:45 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:45 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:45 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:45 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:45 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:44 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:44 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:44 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:44 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:39 jocelyn.local systemd-logind[812]: Lid opened. Nov 08 16:18:36 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:36 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:36 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:36 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:02 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:02 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:02 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:02 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:01 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:01 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:01 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:01 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:01 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:01 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:01 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:01 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:00 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:00 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:00 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:00 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:18:00 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:18:00 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:18:00 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:18:00 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:17:24 jocelyn.local dbus-daemon[814]: dbus[814]: [system] Activation via systemd failed for unit 'dbus-org.freedesktop.ModemManager1.service': Unit dbus-org.freede Nov 08 16:17:24 jocelyn.local dbus[814]: [system] Activation via systemd failed for unit 'dbus-org.freedesktop.ModemManager1.service': Unit dbus-org.freedesktop.ModemManager Nov 08 16:17:24 jocelyn.local dbus[814]: [system] Activating via systemd: service name='org.freedesktop.ModemManager1' unit='dbus-org.freedesktop.ModemManager1.service' Nov 08 16:17:24 jocelyn.local dbus-daemon[814]: dbus[814]: [system] Activating via systemd: service name='org.freedesktop.ModemManager1' unit='dbus-org.freedesktop.ModemMana Nov 08 16:17:06 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:17:06 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:17:06 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:17:06 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:17:05 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:17:05 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:17:05 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:17:05 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:17:03 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:17:03 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:17:03 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:17:03 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:17:01 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:17:01 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:17:01 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:17:01 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:52 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:52 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:52 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:52 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:50 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:50 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:50 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:50 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:49 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:49 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:49 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:49 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:48 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:48 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:48 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:48 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:47 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:47 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:47 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:47 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:46 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:46 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:46 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:46 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:45 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:45 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:45 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:45 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:44 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:44 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:44 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:44 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:39 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:39 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:39 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:39 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:38 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:38 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:38 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:38 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:38 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:38 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:38 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:38 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:37 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:37 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:37 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:37 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:16:34 jocelyn.local gnome-session[1777]: _onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:17 Nov 08 16:16:34 jocelyn.local gnome-session[1777]: wrapper@/usr/share/gjs-1.0/lang.js:213 Nov 08 16:16:34 jocelyn.local gnome-session[1777]: GrabHelper<.onCapturedEvent@/usr/share/gnome-shell/js/ui/grabHelper.js:307 Nov 08 16:16:34 jocelyn.local gnome-session[1777]: (gnome-shell:19673): Gjs-WARNING **: JS ERROR: TypeError: this._grabStack[i] is undefined Nov 08 16:15:42 jocelyn.local gnome-session[1777]: 16:15:42 | Listener | Got message e2c97aa177177ec851ce5cc3cc3339cbdb8c60c2 from 30de0bd6597791a6467648e7c7739e5412895e07 o Nov 08 16:15:41 jocelyn.local gnome-session[1777]: 16:15:41 | Cmd | cockpit-design | git status --porcelain
Quite likely. Any hints for reproducing it?
Happened today again. Here is how I did it: * Chatting over jabber with a friend, via the popups in the bottom of the screen. * Getting back to a browser window (Firefox) again, while chat is going on. * Firefox windows won't take input. The flash video in Firefox was still playing as regular with sound and everything. Only top bar (app menu, clock menu, system menu) taking input. Not activities, and not the bottom bar. Tried to shut down via the system menu. Shutdown dialog popped up, but when I pressed the "Power Off" button, nothing happened.
I did a recording: https://cloud.gnome.org/public.php?service=files&t=774d6ee5e09f480ccbd1376e44f4dd37 Lockup is around 1:27
One more video, triggering the lockup pretty fast https://cloud.gnome.org/public.php?service=files&t=fc755e8d8b2257f82b77d633edf46364
And one more: https://cloud.gnome.org/public.php?service=files&t=ed4d3bca399b3d26b1a499b3d7546465
Created attachment 259920 [details] [review] messageTray: Prevent reentrancy issues in _updateState The methods we call in _updateState may not be reentrant, so make sure that we never get into a situation where _updateState, through some crazy chain of events, never calls itself.
Review of attachment 259920 [details] [review]: Not the most elegant fix, but considering the complexity of the message tray code and the potentially severe effects of failures in _updateState(), doing this as safety net looks like a good idea. The commit message needs a little fix though ("make sure we never get into a situation where _updateState never calls itself" - au contraire, it's about preventing _updateState() from calling itself)
*** Bug 712199 has been marked as a duplicate of this bug. ***
FWIW, I'm currently running with Florian's patch from comment 7 applied on top of gnome-shell-3.10.2-1.fc20.x86_64 At work, I used to have to restart the shell about half a dozen times per day due to this bug, and since I applied the patch, the problem didn't happen once. Could this get into a 3.10.x release, so that distros can have it in an update?
Attachment 259920 [details] pushed as 87f0e79 - messageTray: Prevent reentrancy issues in _updateState Pushed with a commit message change.