80 |
parse(String s) { |
parse(String s) { |
81 |
if(s.startsWith("DESCRIPTION: ")) { |
if(s.startsWith("DESCRIPTION: ")) { |
82 |
desc = s.substring("DESCRIPTION: ".length()); |
desc = s.substring("DESCRIPTION: ".length()); |
83 |
|
desc = Parser.toNonEscapedString(desc); |
84 |
} else if(s.startsWith("VERSION: ")) { |
} else if(s.startsWith("VERSION: ")) { |
85 |
ver = s.substring("VERSION: ".length()); |
ver = s.substring("VERSION: ".length()); |
86 |
} else if(s.startsWith("PROTOCOL_VERSION: ")) { |
} else if(s.startsWith("PROTOCOL_VERSION: ")) { |