From 9e91e8cac5bb34cc800a6ccd41f99ece7b50b3ea Mon Sep 17 00:00:00 2001 From: Murilo Polese Date: Tue, 14 Feb 2023 10:57:40 -0300 Subject: [PATCH] Fix character escaping --- micropython.js | 1 - 1 file changed, 1 deletion(-) diff --git a/micropython.js b/micropython.js index 52ccc63..cb4ebda 100644 --- a/micropython.js +++ b/micropython.js @@ -12,7 +12,6 @@ function sleep(millis) { } function escape_string(string) { - string = string.replace(/"""/g, `\\"\\"\\"`) string = string.replace(/\'/g, `\\'`) string = string.replace(/\"/g, `\\"`) return string