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

Shouldn't this have a special case for " characters inside the string?