Ticket UUID: | 134d90a99615cc7590173d97a37949db8c9574d5 | |||
Title: | String \0 safety | |||
Status: | Open | Type: | Enhancement | |
Severity: | Severe | Priority: | High | |
Subsystem: | none | Resolution: | Open | |
Last Modified: | 2024-03-23 16:58:26 | |||
Version Found In: | Milestone: | 1.1 | ||
User Comments: | ||||
js added on 2023-07-22 07:17:50:
Currently,
The first option probably doesn't scale, as there are many places where an The second option might be unexpected and lead to bugs, because the user has just specified a length for the string to create, but the just created string has a different length. Therefore, the third option probably makes most sense. |