Changeset 3159:a7553434ee4c for inc/core/class.dc.workspace.php

Timestamp:

02/05/16 15:12:03 (10 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

default

Message:

Use new setting type 'array' for some settings, addresses #1833

File:

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

inc/core/class.dc.workspace.php

@@ -80 +80 @@
 
                if ($type == 'array') {
-                    $value = @json_decode($value);
+                    $value = @json_decode($value,true);
                } else {
                     if ($type == 'float' || $type == 'double') {