Fix character escaping

murilopolese · murilopolese · commit 9e91e8cac5bb · 2023-02-14T10:57:40.000-03:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,6 @@ function sleep(millis) {`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	`function escape_string(string) {`
`15`		- string = string.replace(/"""/g, `\\"\\"\\"`)
`16`	`15`	string = string.replace(/\'/g, `\\'`)
`17`	`16`	string = string.replace(/\"/g, `\\"`)
`18`	`17`	`return string`