diff --git a/info/DDADMIN/AddVi.json b/info/DDADMIN/AddVi.json index f25fdea..4ab7faf 100644 --- a/info/DDADMIN/AddVi.json +++ b/info/DDADMIN/AddVi.json @@ -5,5 +5,7 @@ "mission_dir" : "JUNO/", "location" : "JEDI/I_180", "min_sampling" : "2", - "max_sampling" : "3" } - \ No newline at end of file + "max_sampling" : "3", + "no_compression" : false } + + diff --git a/src/DATA/MANAGER/AddLocalVI.php b/src/DATA/MANAGER/AddLocalVI.php index 863c157..82078ff 100644 --- a/src/DATA/MANAGER/AddLocalVI.php +++ b/src/DATA/MANAGER/AddLocalVI.php @@ -37,7 +37,7 @@ } } - putenv("LD_LIBRARY_PATH=".getenv("LD_LIBRARY_PATH")); + putenv("LD_LIBRARY_PATH=".getenv("LD_LIBRARY_PATH")); putenv("PATH=./:".getenv("DDBASEBIN").":/bin:/usr/bin"); set_include_path("./:".getenv("DATAMANAGER").":".getenv("REMOTEDATA").":".getenv("CALLEXT")); @@ -72,6 +72,7 @@ else { $location = $json_obj->location; $min_sampling = $json_obj->min_sampling; $max_sampling = isset($json_obj->max_sampling) ? $json_obj->max_sampling : 0; + $no_compression = isset($json_obj->no_compression) ? $json_obj->no_compression : false; } $base = "LOCAL"; $baseMgr = new DDBaseMgr(); -- libgit2 0.21.2