diff options
| author | George Lebl <jirka@5z.com> | 2001-06-24 22:04:23 +0000 |
|---|---|---|
| committer | George Lebl <jirka@src.gnome.org> | 2001-06-24 22:04:23 +0000 |
| commit | c62d44ed33c5ba26849a3c6aa150d0734b9c0f07 (patch) | |
| tree | b5429e16996aa1999f077b5b09767ac5102f6b1e /gui/gdmconfig.c | |
| parent | a32adc0e3af0bbdc93c75bc5039ac14763668903 (diff) | |
| download | gdm-c62d44ed33c5ba26849a3c6aa150d0734b9c0f07.tar.gz | |
Add daemon/AlwaysRestartServer option so that the slave can just kill and
Sun Jun 24 14:55:29 2001 George Lebl <jirka@5z.com>
* config/gdm.conf.in, daemon/gdm.[ch], daemon/slave.c,
gui/gdmconfig.(c|glade): Add daemon/AlwaysRestartServer option
so that the slave can just kill and restart the server instead
of reinitting it.
* docs/C/gdm.sgml: update for all the new options
Diffstat (limited to 'gui/gdmconfig.c')
| -rw-r--r-- | gui/gdmconfig.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gui/gdmconfig.c b/gui/gdmconfig.c index 90496598..64af9fed 100644 --- a/gui/gdmconfig.c +++ b/gui/gdmconfig.c @@ -597,6 +597,7 @@ gdm_config_parse_most (gboolean factory) gdm_entry_set("failsafe_x_server", gnome_config_get_string (GDM_KEY_FAILSAFE_XSERVER)); gdm_entry_set("x_keeps_crashing", gnome_config_get_string (GDM_KEY_XKEEPSCRASHING)); gdm_entry_set("x_keeps_crashing_configurators", gnome_config_get_string (GDM_KEY_XKEEPSCRASHING_CONFIGURATORS)); + gdm_toggle_set("always_restart_server", gnome_config_get_bool (GDM_KEY_ALWAYSRESTARTSERVER)); gdm_entry_set("pid_file", gnome_config_get_string (GDM_KEY_PIDFILE)); gdm_entry_set("gnome_default_session", gnome_config_get_string (GDM_KEY_GNOMEDEFAULTSESSION)); @@ -1000,6 +1001,7 @@ write_config (void) gdm_entry_write("reboot_command", GDM_KEY_REBOOT); gdm_entry_write("suspend_command", GDM_KEY_SUSPEND); + /* misc */ gdm_entry_write("init_dir", GDM_KEY_INITDIR); gdm_entry_write("log_dir", GDM_KEY_LOGDIR); gdm_entry_write("session_dir", GDM_KEY_SESSDIR); @@ -1008,6 +1010,7 @@ write_config (void) gdm_entry_write("failsafe_x_server", GDM_KEY_FAILSAFE_XSERVER); gdm_entry_write("x_keeps_crashing", GDM_KEY_XKEEPSCRASHING); gdm_entry_write("x_keeps_crashing_configurators", GDM_KEY_XKEEPSCRASHING_CONFIGURATORS); + gdm_toggle_write("always_restart_server", GDM_KEY_ALWAYSRESTARTSERVER); gdm_entry_write("pid_file", GDM_KEY_PIDFILE); gdm_entry_write("gnome_default_session", GDM_KEY_GNOMEDEFAULTSESSION); |