equal
deleted
inserted
replaced
20 | var heartbeat_index = «$indexed_hmitree/*[@hmipath = '/HEARTBEAT']/@index»; |
20 | var heartbeat_index = «$indexed_hmitree/*[@hmipath = '/HEARTBEAT']/@index»; |
21 | |
21 | |
22 | var hmitree_types = [ |
22 | var hmitree_types = [ |
23 |
23 |
24 foreach "$indexed_hmitree/*" |
24 foreach "$indexed_hmitree/*" |
25 | /* «@index» «@hmipath» */ "«substring(local-name(), 5)»"`if "position()!=last()" > ,` |
25 | /* «@index» */ "«substring(local-name(), 5)»"`if "position()!=last()" > ,` |
|
26 |
|
27 | ]; |
|
28 | |
|
29 | var hmitree_paths = [ |
|
30 |
|
31 foreach "$indexed_hmitree/*" |
|
32 | /* «@index» */ "«@hmipath»"`if "position()!=last()" > ,` |
26 |
33 |
27 | ]; |
34 | ]; |
28 | |
35 | |
29 } |
36 } |
30 |
37 |