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 | 12bc4e37ed5af982ae46aaa34d11dae9dc01eda9 (patch) | |
| tree | d7be608a9abd922f1fbaf8d37d7c1bb44a9db251 | |
| parent | 60b25a374df04873ea5ab41687629933f7426905 (diff) | |
| download | mdk-12bc4e37ed5af982ae46aaa34d11dae9dc01eda9.tar.gz mdk-12bc4e37ed5af982ae46aaa34d11dae9dc01eda9.tar.bz2 | |
segfault corrected
| -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) |