From a0747b4ac3b8e1d534a36388084dc01e87b06a11 Mon Sep 17 00:00:00 2001 From: Rob Pilling Date: Sat, 1 Jul 2023 12:00:19 +0100 Subject: [PATCH] rep: check settings --- apps/rep/app.js | 6 +++++- apps/rep/app.ts | 6 +++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/apps/rep/app.js b/apps/rep/app.js index e57eb19aa1..06c8889b7f 100644 --- 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 index a85793883b..181ccd921f 100644 --- 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;