From d620ff25be2566d88ae1b0346f57dacc455b46ab Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Fri, 9 Jun 2023 16:59:37 +0100
Subject: [PATCH] oops

---
 apps/recorder/widget.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/recorder/widget.js b/apps/recorder/widget.js
index c2e04fd09..3c9afcf70 100644
--- a/apps/recorder/widget.js
+++ b/apps/recorder/widget.js
@@ -242,7 +242,7 @@
     if (isOn && !settings.recording) {
       var date=(new Date()).toISOString().substr(0,10).replace(/-/g,""), trackNo=10;
       if (!settings.file) { // if no filename set
-        settings.file = "recorder.log" + date + trackNo.toString(36) + ".csv";;
+        settings.file = "recorder.log" + date + trackNo.toString(36) + ".csv";
       } else if (require("Storage").list(settings.file).length){ // if file exists
         if (!options.force) { // if not forced, ask the question
           g.reset(); // work around bug in 2v17 and earlier where bg color wasn't reset