From 5806e67d069502b42c207406bacd5c6ad2238f1e Mon Sep 17 00:00:00 2001 From: Malaurie Bernard <mbernard@kinouby> Date: Mon, 17 Jul 2023 11:22:46 +0200 Subject: [PATCH] Try to fix the solving the problem of the size of the json file sent to the web --- host_gui/make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/host_gui/make.sh b/host_gui/make.sh index f698890..5dbfa9a 100755 --- a/host_gui/make.sh +++ b/host_gui/make.sh @@ -18,6 +18,6 @@ $firefox && ( firefox -new-window http://localhost:9080 ) & -./bin/${parentName}/${parentName} "$@" +valgrind ./bin/${parentName}/${parentName} "$@" stty sane -- GitLab