diff options
| author | raveit65 <[email protected]> | 2012-08-01 13:16:42 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2012-08-01 13:16:42 +0200 |
| commit | d97bf7aab0358d423cfc2b3a00079662fc821dff (patch) | |
| tree | 1440f14f950a36dc2689cf3e76ec08534897d159 /src/core/main.c | |
| parent | 4877f47e6d29289e49a4e1b4a12e8b736711678c (diff) | |
| download | marco-d97bf7aab0358d423cfc2b3a00079662fc821dff.tar.bz2 marco-d97bf7aab0358d423cfc2b3a00079662fc821dff.tar.xz | |
apply Should-set-RestartStyleHint-to-RestartIfRunning-wh.patch
Diffstat (limited to 'src/core/main.c')
| -rw-r--r-- | src/core/main.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/core/main.c b/src/core/main.c index 38c69b0a..94d56917 100644 --- a/src/core/main.c +++ b/src/core/main.c @@ -362,12 +362,11 @@ static void meta_finalize (void) { MetaDisplay *display = meta_get_display(); - - meta_session_shutdown (); - if (display) meta_display_close (display, CurrentTime); /* I doubt correct timestamps matter here */ + + meta_session_shutdown (); } static int sigterm_pipe_fds[2] = { -1, -1 }; |