+ /* Tell browser UI to exit nicely */
+ printf("Closing MicroB\n");
+ if (!dbus_g_proxy_call(g_proxy, "exit_browser", &gerror,
+ G_TYPE_INVALID, G_TYPE_INVALID)) {
+ /* We don't expect a reply; any other error indicates
+ a problem */
+ if (gerror->domain != DBUS_GERROR ||
+ gerror->code != DBUS_GERROR_NO_REPLY) {
+ printf("exit_browser failed: %s\n",
+ gerror->message);
+ exit(1);
+ }
+ }
+ g_object_unref(g_proxy);