Replacing escape with encodeURIComponent

Mamatha1718 · Mamatha1718 · commit 0b5881b0a5ad · 2025-01-30T00:18:15.000+05:30
diff --git a/benchexec/tablegenerator/react-table/src/utils/utils.js b/benchexec/tablegenerator/react-table/src/utils/utils.js
@@ -310,7 +310,7 @@ const makeUrlFilterDeserializer = (statusValues, categoryValues) => {
 const makeSerializedFilterValue = (filter) => {
   const parts = [];
   for (const [key, values] of Object.entries(filter)) {
-    parts.push(`${key}(${values.map(escape).join(",")})`);
+    parts.push(`${key}(${values.map(encodeURIComponent).join(",")})`);
   }
   return parts.join(",");
 };

Original file line number	Diff line number	Diff line change
`@@ -310,7 +310,7 @@ const makeUrlFilterDeserializer = (statusValues, categoryValues) => {`
`310`	`310`	`const makeSerializedFilterValue = (filter) => {`
`311`	`311`	`const parts = [];`
`312`	`312`	`for (const [key, values] of Object.entries(filter)) {`
`313`		- parts.push(`${key}(${values.map(escape).join(",")})`);
	`313`	+ parts.push(`${key}(${values.map(encodeURIComponent).join(",")})`);
`314`	`314`	`}`
`315`	`315`	`return parts.join(",");`
`316`	`316`	`};`