xml/config.rnc
branchv_0
changeset 203 504c4ba56d1c
parent 198 03d8492e2ca8
child 249 7655df0622ee
     1.1 --- a/xml/config.rnc	Sun Jun 21 16:21:51 2015 +0200
     1.2 +++ b/xml/config.rnc	Sat Aug 15 09:40:22 2015 +0200
     1.3 @@ -28,7 +28,14 @@
     1.4  			element property {
     1.5  				attribute name { text },
     1.6  				text
     1.7 -			}*
     1.8 +			}*,
     1.9 +			element tunnel {
    1.10 +				element command { text },
    1.11 +				element argument {
    1.12 +					attribute type { "literal" | "host" | "port" | "env" | "dbProperty" }?,
    1.13 +					text
    1.14 +				}*
    1.15 +			}?
    1.16  		}*,
    1.17  		
    1.18  		element defaultFormatter { text }?,