From 58d412d03858f696b0f204db4c01cbe37d2dcbb3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=B2=20Balzarotti?= <nicolo.balzarotti@iit.it>
Date: Tue, 21 Feb 2023 22:57:51 +0100
Subject: [PATCH] dismiss modal immediately

---
 dist/server.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dist/server.js b/dist/server.js
index 5049c98..51e692b 100644
--- a/dist/server.js
+++ b/dist/server.js
@@ -195,6 +195,8 @@ function render_sidebar(data) {
 
 function respond_manual(response) {
     socket.emit('manual response', response);
+    // Hide the modal, it will appear again if needed
+    manual_modal({'dismissed': true});
 }
 
 function select_recipe(idx) {