[pkg-fso-commits] [SCM] Automatic Display Manager branch, master, updated. debian/0.8-1-7-ga30dbc0

[Enrico Zini]

The following commit has been merged in the master branch:
commit bed348e5574cd946cca03ddb3e08aa4345d47956
Author: Enrico Zini <enrico at enricozini.org>
Date:   Fri Jul 8 17:25:44 2011 +0100

    Log when terminating X because we got killed

diff --git a/dm.c b/dm.c
index 03b1c35..adbcb5e 100644
--- a/dm.c
+++ b/dm.c
@@ -192,6 +192,7 @@ int nodm_display_manager_wait(struct nodm_display_manager* dm, int* session_stat
             {
                 if (quit_signal_caught)
                 {
+                    log_info("shutdown signal received");
                     res = E_USER_QUIT;
                     goto cleanup;
                 }

-- 
Automatic Display Manager