Add a profile mode available when debug is enabled. Add profilers in

[evince.git] / shell / main.c

diff --git a/shell/main.c b/shell/main.c
index 04aa5ea18ce76b4f58e6f45edbf765f9282964d4..f230ea860b9177835fdfeef7568f7ea6502e3df8 100644 (file)
--- a/shell/main.c
+++ b/shell/main.c
@@ -418,6 +418,8 @@ main (int argc, char *argv[])
 
        ev_backends_manager_shutdown ();
 
+       ev_debug_shutdown ();
+
 #if WITH_GNOME
        g_object_unref (program);
 #endif