Replace escape with encodeURIComponent

sosy-lab · Jan 29, 2025 · ba70776 · ba70776
1 parent 23f83ae
commit ba70776
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tablegenerator/react-table/src/utils/utils.js b/benchexec/tablegenerator/react-table/src/utils/utils.js
@@ -506,7 +506,7 @@ const makeFilterSerializer =
           );
         } else {
           // <valueFilter>
-          filter = `value(${(filters.value)})`;
+          filter = `value(${encodeURIComponent(filters.value)})`;
         }
         if (filter !== "") {
           columnFilters.push(`${columnFilterHeader}(${filter})`);