rep: check settings

espruino · Jul 1, 2023 · a0747b4 · a0747b4
1 parent 4fe1043
commit a0747b4
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/apps/rep/app.js b/apps/rep/app.js
@@ -1,3 +1,4 @@
+var _a, _b, _c;
 {
     var L = require("Layout");
     var storeReps = require("Storage")
@@ -14,7 +15,10 @@
             : r.dur;
         return r2;
     });
-    var settings = require("Storage").readJSON("rep.setting.json");
+    var settings = (require("Storage").readJSON("rep.setting.json", true) || {});
+    (_a = settings.record) !== null && _a !== void 0 ? _a : (settings.record = false);
+    (_b = settings.recordStopOnExit) !== null && _b !== void 0 ? _b : (settings.recordStopOnExit = false);
+    (_c = settings.stepMs) !== null && _c !== void 0 ? _c : (settings.stepMs = 5 * 1000);
     var fontSzMain = 54;
     var fontScaleRep = 2;
     var fontSzRep = 20;

diff --git a/apps/rep/app.ts b/apps/rep/app.ts
@@ -37,7 +37,11 @@ const reps = storeReps.map((r: StoreRep, i: number, a: Rep[]): Rep => {
 	return r2;
 });
 
-const settings = require("Storage").readJSON("rep.setting.json") as RepSettings;
+const settings = (require("Storage").readJSON("rep.setting.json", true) || {}) as RepSettings;
+settings.record ??= false;
+settings.recordStopOnExit ??= false;
+settings.stepMs ??= 5 * 1000;
+
 const fontSzMain = 54;
 const fontScaleRep = 2;
 const fontSzRep = 20;