erase the openbox_pid hint on the root window when we shutdown

diff --git a/openbox/screen.c b/openbox/screen.c
index 3ff40df4c12339b73bee4b695f43c8f6a34e15d2..9a1a81ad6e225e5d9c80a75150f2feb52e90a343 100644 (file)
--- a/openbox/screen.c
+++ b/openbox/screen.c
@@ -166,6 +166,9 @@ void screen_startup()
 void screen_shutdown()
 {
     guint i;
+
+    PROP_ERASE(ob_root, openbox_pid); /* we're not running here no more! */
+
     for (i = 0; i < screen_desktop_names->len; ++i)
        g_free(g_ptr_array_index(screen_desktop_names, i));
     g_ptr_array_free(screen_desktop_names, TRUE);