diff options
| author | Anthony Ramine <[email protected]> | 2010-12-07 23:40:09 +0100 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2011-11-11 11:58:43 +0100 |
| commit | 5b9aeb694cc7839163f684244c37a3029b9a1c8e (patch) | |
| tree | b71599ed3d79b7b4e91504f91a8df0f47ebd7140 | |
| parent | bffc6b40025b620b36c764aa9b74f00d31edb3a8 (diff) | |
| download | otp-5b9aeb694cc7839163f684244c37a3029b9a1c8e.tar.gz otp-5b9aeb694cc7839163f684244c37a3029b9a1c8e.tar.bz2 otp-5b9aeb694cc7839163f684244c37a3029b9a1c8e.zip | |
Add `#xmlPI` support to xmerl_xpath:write_node/1
| -rw-r--r-- | lib/xmerl/src/xmerl_xpath.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/xmerl/src/xmerl_xpath.erl b/lib/xmerl/src/xmerl_xpath.erl index 40ba48b357..d9dae7c53f 100644 --- a/lib/xmerl/src/xmerl_xpath.erl +++ b/lib/xmerl/src/xmerl_xpath.erl @@ -306,6 +306,10 @@ write_node(#xmlNode{pos = Pos, write_node(#xmlNode{pos = Pos, node = #xmlComment{parents = Ps}}) -> {comment, Pos, '', Ps}; +write_node(#xmlNode{pos = Pos, + node = #xmlPI{name = Name, + parents = Ps}}) -> + {processing_instruction, Pos, Name, Ps}; write_node(_) -> other. |