[metacity/wip/muktupavels/issue-21: 3/3] main: use correct timestamp when closing display

[Alberts Muktupāvels <muktupavels src gnome org>]

commit de8ecbc922934cbe89d54275c562e33c43ffdda7
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Mon Jul 19 19:57:05 2021 +0300

    main: use correct timestamp when closing display

 src/core/main.c | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/src/core/main.c b/src/core/main.c
index 10f80021..34de6ee0 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -398,8 +398,13 @@ meta_finalize (void)
   MetaDisplay *display = meta_get_display();
 
   if (display)
-    meta_display_close (display,
-                        CurrentTime); /* I doubt correct timestamps matter here */
+    {
+      guint32 timestamp;
+
+      timestamp = meta_display_get_current_time_roundtrip (display);
+
+      meta_display_close (display, timestamp);
+    }
 
   if (meta_shutdown_session)
     meta_session_shutdown ();