commit 906d084d3ec6ec6df6c5f406d07bcf02b848262a
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Fri Feb 8 20:46:11 2019 +0100

    crash handler: Avoid crashing again
    
    when XDG_CURRENT_DESKTOP is not defined.
    
    Also remove duplicate test for GNOME.

diff --git a/src/main.c b/src/main.c
index 7661c9b6..26b4c512 100644
--- a/src/main.c
+++ b/src/main.c
@@ -163,10 +163,11 @@ void
 launchFallbackWM (void)
 {
     char *fallback = NULL;
+    char *desktop = getenv ("XDG_CURRENT_DESKTOP");
 
-    if (strcmp (getenv ("XDG_CURRENT_DESKTOP"), "MATE") == 0)
+    if (desktop && strcmp (desktop, "MATE") == 0)
 	fallback = "marco";
-    else if (strcmp (getenv ("XDG_CURRENT_DESKTOP"), "GNOME") == 0 || strcmp (getenv ("XDG_CURRENT_DESKTOP"), "GNOME") == 0)
+    else if (desktop && strcmp (desktop, "GNOME") == 0)
 	fallback = "metacity";
     else if (access ("/usr/bin/xfwm4", F_OK) == 0)
 	fallback = "xfwm4";
