xml/config.rnc
branchv_0
changeset 203 504c4ba56d1c
parent 198 03d8492e2ca8
child 249 7655df0622ee
--- a/xml/config.rnc	Sun Jun 21 16:21:51 2015 +0200
+++ b/xml/config.rnc	Sat Aug 15 09:40:22 2015 +0200
@@ -28,7 +28,14 @@
 			element property {
 				attribute name { text },
 				text
-			}*
+			}*,
+			element tunnel {
+				element command { text },
+				element argument {
+					attribute type { "literal" | "host" | "port" | "env" | "dbProperty" }?,
+					text
+				}*
+			}?
 		}*,
 		
 		element defaultFormatter { text }?,