diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-03-19 09:03:54 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-03-19 09:03:54 +0000 |
| commit | bd9846e635ea570e076855ece48ec9e80344f728 (patch) | |
| tree | 79b8834c9bf574dc4eb5194040a9d3c15eda4994 /openbox | |
| parent | a7705024c6a9934123e8249143671b08483f47cd (diff) | |
erase the openbox_pid hint on the root window when we shutdown
Diffstat (limited to 'openbox')
| -rw-r--r-- | openbox/screen.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/openbox/screen.c b/openbox/screen.c index 3ff40df4..9a1a81ad 100644 --- 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); |
