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

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

commit a2a922c0e0e80506f26dd47228d02e5642fe31e9
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 794341af..4a4509f9 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -396,8 +396,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);
+    }
 
   meta_session_shutdown ();
 }