nfeske/genode — comment on commit cc4d1193b56a38ea45c3e4f0cfebd508a21438ac
File: ports/src/noux/main.cc line 351
By nfeske:

Wait - when thinking more about it, this is actually not needed because such a string could never be constructed via the XML config anyway. You can sneak in '"' characters only by quoting them in the XML file. Then, however, they are already quoted. Nice, isn't it?