diff --git a/src/main.c b/src/main.c index 29275cda0..2311a74bd 100644 --- a/src/main.c +++ b/src/main.c @@ -589,9 +589,11 @@ main (int argc, char **argv) shell_profiler_shutdown (); +#if 0 g_debug ("Doing final cleanup"); _shell_global_destroy_gjs_context (shell_global_get ()); g_object_unref (shell_global_get ()); +#endif return ecode; }