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
commit12bc4e37ed5af982ae46aaa34d11dae9dc01eda9 (patch)
treed7be608a9abd922f1fbaf8d37d7c1bb44a9db251 /mixgtk
parent60b25a374df04873ea5ab41687629933f7426905 (diff)
downloadmdk-12bc4e37ed5af982ae46aaa34d11dae9dc01eda9.tar.gz
mdk-12bc4e37ed5af982ae46aaa34d11dae9dc01eda9.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)