summaryrefslogtreecommitdiffhomepage
path: root/mixgtk
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-12 16:07:09 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-12 16:07:09 +0000
commit49b79d0ae7b5740ee57823b950ce8de03f20cc4e (patch)
tree5c9d6a96c7f05109eb61ab97853c00c6885a3a8c /mixgtk
parent856e66e28f83b543ba55e7820041b43f897202fc (diff)
downloadmdk-49b79d0ae7b5740ee57823b950ce8de03f20cc4e.tar.gz
mdk-49b79d0ae7b5740ee57823b950ce8de03f20cc4e.tar.bz2
segfault corrected
Diffstat (limited to 'mixgtk')
-rw-r--r--mixgtk/mixgtk_device.c3
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)