From ae1714cce99fc986e2a7ced2412ee3f924e3d31c Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Mon, 9 May 2022 14:16:03 +0200
Subject: [PATCH] Bump CX version

It is now possible to drop the separate builds for mobile and desktop thanks
to reduced memory pressure
---
 index.html | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

diff --git a/index.html b/index.html
index e1aa250..077feec 100644
--- a/index.html
+++ b/index.html
@@ -101,7 +101,7 @@
 				" |                                                                            |",
 				" +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~+",
 				"",
-				"   Welcome to WebVM (build 20220201). If unsure, try these examples:",
+				"   Welcome to WebVM (build 20220509). If unsure, try these examples:",
 				"",
 				"     python3 examples/python3/fibonacci.py ",
 				"     gcc -o helloworld examples/c/helloworld.c && ./helloworld",
@@ -305,18 +305,7 @@
 	var script = document.createElement('script');
 	script.type = 'text/javascript';
 
-	var cxFile = "https://cheerpxdemos.leaningtech.com/publicdeploy/";
-	const isMobile = navigator.userAgent.toLowerCase().match(/mobile/i);
-	if (isMobile)
-	{
-		printOnTerm.printMessage(["Loading mobile version...\n"]);
-		cxFile += '20220131_500/cx.js';
-	}
-	else
-	{
-		cxFile += '20220131_700/cx.js';
-	}
-
+	var cxFile = "https://cheerpxdemos.leaningtech.com/publicdeploy/20220509_500/cx.js";
 	script.src = cxFile;
 	script.addEventListener("load", runBash, false);