From 67db19a05335c7fbea3ad6737303c8848fd39e74 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 15 Dec 2015 14:32:47 -0800 Subject: 2545 update html --- html/010vm.cc.html | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) (limited to 'html/010vm.cc.html') diff --git a/html/010vm.cc.html b/html/010vm.cc.html index 976edf51..69d5dec0 100644 --- a/html/010vm.cc.html +++ b/html/010vm.cc.html @@ -295,7 +295,7 @@ reagent::reagent(string s } string_tree* parse_property_list(istream& in) { - skip_whitespace(in); + skip_whitespace_but_not_newline(in); if (!has_data(in)) return NULL; string_tree* result = new string_tree(slurp_until(in, ':')); result->right = parse_property_list(in); @@ -557,9 +557,16 @@ void dump(const string_tree* x')'; } -void skip_whitespace(istream& in) { - while (in && isspace(in.peek()) && in.peek() != '\n') { - in.get(); +:(before "End Globals") +const string Ignore(","); // commas are ignored in mu except within [] strings +:(code) +void skip_whitespace_but_not_newline(istream& in) { + while (true) { + if (!has_data(in)) break; + else if (in.peek() == '\n') break; + else if (isspace(in.peek())) in.get(); + else if (Ignore.find(in.peek()) != string::npos) in.get(); + else break; } } -- cgit 1.4.1-2-gfad0