diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-12 16:07:09 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-12 16:07:09 +0000 |
commit | 49b79d0ae7b5740ee57823b950ce8de03f20cc4e (patch) | |
tree | 5c9d6a96c7f05109eb61ab97853c00c6885a3a8c /mixgtk | |
parent | 856e66e28f83b543ba55e7820041b43f897202fc (diff) | |
download | mdk-49b79d0ae7b5740ee57823b950ce8de03f20cc4e.tar.gz mdk-49b79d0ae7b5740ee57823b950ce8de03f20cc4e.tar.bz2 |
segfault corrected
Diffstat (limited to 'mixgtk')
-rw-r--r-- | mixgtk/mixgtk_device.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c index b152469..18bc121 100644 --- a/mixgtk/mixgtk_device.c +++ b/mixgtk/mixgtk_device.c @@ -330,7 +330,8 @@ mixgtk_device_init (GtkNotebook *container, mix_vm_t *vm) mix_vm_set_device_factory (vm, mixgtk_device_new_); /* read format configuration */ - decs_ = atoi (mixgtk_config_get (DEV_FORMAT_KEY_)); + if (mixgtk_config_get (DEV_FORMAT_KEY_)) + decs_ = atoi (mixgtk_config_get (DEV_FORMAT_KEY_)); /* connect default devices */ while (def_types[k] != mix_dev_INVALID) |