Amended sleep with comment from Sebastian's feedback.

ubidefeo · ubidefeo · commit f057b1547cae · 2025-04-15T10:51:26.000+02:00
Signed-off-by: ubi de feo &lt;me@ubidefeo.com&gt;
diff --git a/ui/arduino/store.js b/ui/arduino/store.js
@@ -114,7 +114,7 @@ async function store(state, emitter) {
     }
     if(view === 'file-manager') {
       emitter.emit('stop')
-      await sleep(500)
+      await sleep(250) // Give the board time to stop the program and return to the prompt
       emitter.emit('refresh-files')
     }
     state.view = view

Original file line number	Diff line number	Diff line change
`@@ -114,7 +114,7 @@ async function store(state, emitter) {`
`114`	`114`	`}`
`115`	`115`	`if(view === 'file-manager') {`
`116`	`116`	`emitter.emit('stop')`
`117`		`- await sleep(500)`
	`117`	`+ await sleep(250) // Give the board time to stop the program and return to the prompt`
`118`	`118`	`emitter.emit('refresh-files')`
`119`	`119`	`}`
`120`	`120`	`state.view = view`