mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 07:22:25 +00:00
c2efa5406e
XML allows attribute values like <node attr="\"/>. The XML parser wrongly reflects this case as 'Invalid_syntax'. This behavior stems from the implicit use of the 'end_of_quote' function, which considers the sequence of '\"' as a quoted '"' rather than the end of a quoted string. The patch solves this problem by making the 'end_of_quote' part of the tokenizer's scanner policy. The patch removes the 'end_of_quote' function from 'util/string.h' because it is not universal, and to avoid the ambiguity with 'SCANNER_POLICY::end_of_quote'. Fixes #4431 |
||
---|---|---|
.. | ||
dir_file_system.h | ||
directory_service.h | ||
env.h | ||
file_io_service.h | ||
file_system_factory.h | ||
file_system.h | ||
print.h | ||
readonly_value_file_system.h | ||
simple_env.h | ||
single_file_system.h | ||
types.h | ||
value_file_system.h | ||
vfs_handle.h |