From 29eb0d79a0645804940f1441433411455e179fb2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Ale=C5=A1=20K=C5=99enek?= <ljocha@ics.muni.cz>
Date: Fri, 12 Aug 2005 08:36:47 +0000
Subject: [PATCH] added "EXISTS" operator

---
 org.glite.jp.ws-interface/src/JobProvenanceTypes.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/org.glite.jp.ws-interface/src/JobProvenanceTypes.xml b/org.glite.jp.ws-interface/src/JobProvenanceTypes.xml
index f16dd01..17a54e4 100644
--- a/org.glite.jp.ws-interface/src/JobProvenanceTypes.xml
+++ b/org.glite.jp.ws-interface/src/JobProvenanceTypes.xml
@@ -15,6 +15,7 @@
 			<val name="LESS"></val>
 			<val name="GREATER"></val>
 			<val name="WITHIN">The attribute is between two specified values.</val>
+			<val name="EXISTS">The attribute exists (even having a NULL value).</val>
 		</enum>
 
 		<struct name="tagValue">
-- 
1.8.2.3