Changeset 3203:fef95060f0b0 for inc/core/class.dc.workspace.php

Timestamp:

03/01/16 08:08:54 (10 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

2.9

Message:

New array setting/pref are stored with 'array' type rather than 'string'

File:

• inc/core/class.dc.workspace.php (modified) (1 diff)

inc/core/class.dc.workspace.php

@@ -237 +237 @@
                     $type = $this->global_prefs[$id]['type'];
                } else {
-                    $type = 'string';
+                    if (is_array($value)) {
+                         $type = 'array';
+                    } else {
+                         $type = 'string';
+                    }
                }
           }