[gnome-shell] main: Allow replacement of org.gnome.Shell name

[Colin Walters <walters src gnome org>]

commit 090d54516e6a9cc4531fc48ebdadcfa66aee55c3
Author: Colin Walters <walters verbum org>
Date:   Wed Mar 23 17:20:11 2011 -0400

    main: Allow replacement of org.gnome.Shell name
    
    This was an oversight in the previous commit; if we don't
    do this, then we just can't --replace.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=645593

 src/main.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/main.c b/src/main.c
index eddb4c6..589b27f 100644
--- a/src/main.c
+++ b/src/main.c
@@ -52,7 +52,7 @@ shell_dbus_init (gboolean replace)
                                    DBUS_PATH_DBUS,
                                    DBUS_INTERFACE_DBUS);
 
-  request_name_flags = DBUS_NAME_FLAG_DO_NOT_QUEUE;
+  request_name_flags = DBUS_NAME_FLAG_DO_NOT_QUEUE | DBUS_NAME_FLAG_ALLOW_REPLACEMENT;
   if (replace)
     request_name_flags |= DBUS_NAME_FLAG_REPLACE_EXISTING;
   if (!dbus_g_proxy_call (bus, "RequestName", &error,