diff options
| author | Christian Persch <chpe@gnome.org> | 2010-05-12 14:03:17 (GMT) |
|---|---|---|
| committer | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-05-25 07:38:30 (GMT) |
| commit | 6510e36591c3187ddb926011c0f6e1d4c78a57c7 (patch) | |
| tree | 979eac34bc1f9894869d866fb6e1f9d3fb2a154f /shell/ev-media-player-keys.c | |
| parent | f8b878d7815b4e07f44c8f308741dd8db6108767 (diff) | |
[shell] Fix name watching
Diffstat (limited to 'shell/ev-media-player-keys.c')
| -rw-r--r-- | shell/ev-media-player-keys.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shell/ev-media-player-keys.c b/shell/ev-media-player-keys.c index b848906..da334b6 100644 --- a/shell/ev-media-player-keys.c +++ b/shell/ev-media-player-keys.c @@ -166,6 +166,9 @@ mediakeys_service_disappeared_cb (GDBusConnection *connection, { EvMediaPlayerKeys *keys = EV_MEDIA_PLAYER_KEYS (user_data); + if (keys->connection == NULL) + return; + g_assert (keys->connection == connection); g_dbus_connection_signal_unsubscribe (connection, keys->subscription_id); |